Spec Scope Changes #866

Job	Run time
build-prover	4m 38s
kit-specs	31s
internal-tests-prover	16m 42s
token-distribution-specs	25s
scallop-bpl-generation	1m 1s
cetus-bpl-generation	1m 19s
ika-bpl-generation	31s
internal-tests-stackless-bytecode	3m 49s
integer-mate-specs	35s
	29m 31s

Provide feedback