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

Job	Run time
Docker build check	3m 33s
Format check	22s
Compilation check	1m 38s
cross compilation	12m 11s
run itests	10m 34s
run itests postgres	18m 44s
Lint check	2m 42s
migration version check	11s
go mod check	24s
RPC check	1m 11s
run LiT tests	12m 47s
sample configuration check	43s
Sqlc check	28s
run unit tests (unit-race)	7m 17s
test vector check	53s
run unit tests (unit-cover)	4m 10s
run unit tests (unit dbbackend=postgres)	5m 28s
finish	6s
	1h 23m 22s

Provide feedback