Loop invariant asserts (#588) #1673

Job	Run time
build-prover	2m 49s
token-distribution-specs	38s
integer-mate-specs	1m 5s
kit-specs	42s
ika-bpl-generation	8m 45s
internal-tests-prover	8m 44s
internal-tests-stackless-bytecode	2m 57s
scallop-bpl-generation	22m 53s
cetus-bpl-generation	18m 38s
notify-slack-on-failure	0s
	1h 7m 11s

Provide feedback