feat: reusable verifier #4179

Job	Run time
build	5m 4s
library-tests	3m 52s
docs	5m 16s
prove-and-verify-aggr-tests-gpu	1m 35s
model-serialization	3m 9s
python-integration-tests	1h 33m 1s
ultra-overflow-tests	10m 18s
ultra-overflow-tests_og-lookup	10m 18s
ultra-overflow-tests-gpu	3m 55s
python-tests	20m 6s
examples	11m 59s
prove-and-verify-tests	2h 22m 3s
wasm32-tests	7m 8s
mock-proving-tests	2h 48m 27s
accuracy-measurement-tests	53s
prove-and-verify-aggr-evm-tests	37m 24s
prove-and-verify-aggr-tests	40m 33s
prove-and-verify-evm-tests	17m 2s
prove-and-verify-mock-aggr-tests	12m 16s
tutorial	15m 6s
	10h 9m 25s

Provide feedback