Split asserts handling in 2. #854

Job	Run time
build-prover	3m 4s
internal-tests-prover	11m 33s
ika-bpl-generation	43s
cetus-bpl-generation	55s
kit-specs	41s
token-distribution-specs	50s
internal-tests-stackless-bytecode	3m 32s
integer-mate-specs	1m 42s
scallop-bpl-generation	36s
	23m 36s

Provide feedback