feat: SMT Verification Module Update #11769

Job	Run time
changes	11s
setup / start-builder	18s
bb-native-tests	12m 43s
acir-bench	0s
bb-gcc	3m 56s
bb-js-test	10m 1s
build	0s
avm-format	0s
noir-build-acir-tests	14s
noir-format	0s
noir-examples	5m 54s
noir-packages-test	15m 30s
noir-test	0s
noir-projects	14s
bb-bench	12m 58s
docs-preview	0s
l1-contracts-test	0s
protocol-circuits-gates-report	9m 43s
yarn-project-formatting	0s
bench-e2e	0s
e2e	0s
boxes	0s
prover-client-test	0s
yarn-project-test	0s
bench-summary	0s
boxes-test	0s
bb-acir-tests-sol	8m 0s
bb-acir-tests-bb-js	12m 24s
bb-acir-tests-bb	18m 16s
merge-check	1s
rerun-check	1s
notify	0s
	1h 50m 24s

Provide feedback