proof: add new IgnoreChecker proof rejection cache #3984

Job	Run time
cross compilation	12m 25s
Format check	18s
Docker build check	3m 41s
run itests	12m 29s
run itests postgres	20m 11s
Compilation check	1m 4s
Lint check	2m 47s
migration version check	13s
go mod check	24s
RPC check	1m 4s
run LiT tests	16m 24s
sample configuration check	31s
Sqlc check	45s
test vector check	57s
run unit tests (unit-race)	15m 24s
run unit tests (unit-cover)	1m 57s
run unit tests (unit dbbackend=postgres)	6m 15s
finish	6s
	1h 36m 55s

Provide feedback