feat: reusable verifier #4128

Job	Run time
build	4m 45s
docs	5m 2s
library-tests	3m 30s
model-serialization	3m 6s
prove-and-verify-aggr-tests-gpu	1m 39s
prove-and-verify-tests-gpu	1h 33m 58s
python-integration-tests	1h 39m 2s
ultra-overflow-tests	21m 22s
ultra-overflow-tests_og-lookup	20m 51s
ultra-overflow-tests-gpu	15m 10s
python-tests	25m 40s
prove-and-verify-tests	2h 12m 2s
examples	4m 45s
wasm32-tests	3m 12s
mock-proving-tests	2h 50m 4s
prove-and-verify-aggr-evm-tests	42m 9s
accuracy-measurement-tests	21m 9s
prove-and-verify-aggr-tests	48m 12s
prove-and-verify-evm-tests	1h 41m 11s
prove-and-verify-mock-aggr-tests	3m 21s
tutorial	9m 49s
	13h 49m 59s

Provide feedback