Loop invariant asserts #1670

Job	Run time
build-prover	2m 44s
scallop-bpl-generation	6m 45s
kit-specs	56s
internal-tests-stackless-bytecode	2m 16s
token-distribution-specs	1m 3s
internal-tests-prover	6m 44s
cetus-bpl-generation	6m 44s
ika-bpl-generation	5m 44s
integer-mate-specs	1m 57s
notify-slack-on-failure	0s
	34m 53s

Provide feedback