chore: Optimize dependencies and features (#184) #796

Job	Run time
build_cli_with_verify	1m 24s
circuits_generated	1m 19s
full_recursion_fast	1m 13s
build_verifier	1m 4s
build_cli_no_verifiers_512	1m 30s
tests	1m 16s
cargo fmt	36s
ISA tests for simulator	1m 17s
build_cli_no_verifiers	1m 29s
risc_v_tests_delegations	1m 14s
delegation_example	0s
large_example	0s
basic_example	0s
full_recursion	0s
oh_bender_incremental_proofs	0s
verification_example	0s
	12m 22s

Provide feedback