proof+tapdb: refactor and fix TLV unknown odd types bug for backward compatibility #3797

Job	Run time
Compilation check	1m 45s
cross compilation	12m 19s
Format check	26s
Docker build check	3m 41s
run itests	12m 1s
run itests postgres	20m 22s
Lint check	2m 49s
migration version check	11s
go mod check	26s
RPC check	1m 11s
run LiT tests	15m 58s
sample configuration check	46s
Sqlc check	2m 51s
test vector check	1m 1s
run unit tests (unit-race)	14m 52s
run unit tests (unit-cover)	4m 48s
run unit tests (unit dbbackend=postgres)	6m 14s
finish	3s
	1h 41m 44s

Provide feedback