feat: dynamic field analysis on pures #1544

Job	Run time
build-prover	2m 37s
scallop-bpl-generation	24m 44s
kit-specs	42s
internal-tests-prover	11m 46s
ika-bpl-generation	10m 5s
token-distribution-specs	52s
internal-tests-stackless-bytecode	2m 10s
cetus-bpl-generation	20m 31s
integer-mate-specs	1m 29s
notify-slack-on-failure	0s
	1h 14m 56s

Provide feedback