proof: add code for stitching together failed proof suffixes #3367

Job	Run time
Docker build check	3m 46s
Compilation check	1m 40s
cross compilation	11m 53s
Format check	25s
run itests	8m 53s
run itests postgres	18m 51s
Lint check	2m 46s
migration version check	15s
go mod check	27s
RPC check	1m 18s
run LiT tests	12m 43s
sample configuration check	41s
Sqlc check	36s
test vector check	55s
run unit tests (unit-race)	7m 31s
run unit tests (unit-cover)	4m 7s
run unit tests (unit dbbackend=postgres)	5m 22s
finish	3s
	1h 22m 12s

Provide feedback