feat: reduce number of verifier binaries #717

Job	Run time
full_recursion_fast	9m 48s
ISA tests for simulator	1m 25s
circuits_generated	4m 25s
risc_v_tests_delegations	1m 14s
tests	1m 53s
cargo fmt	36s
build_cli_no_verifiers	10m 19s
build_cli_with_verify	2m 6s
build_cli_no_verifiers_512	9m 26s
build_verifier	59s
large_example	-1s
verification_example	-1s
delegation_example	-1s
basic_example	-1s
oh_bender_incremental_proofs	0s
full_recursion	0s
	42m 7s

Provide feedback