feat: added functionality for 100 security bits #735

Job	Run time
cargo fmt	31s
tests	1m 26s
ISA tests for simulator	45s
risc_v_tests_delegations	49s
build_cli_with_verify	1m 11s
circuits_generated	4m 4s
build_cli_no_verifiers_512	9m 54s
build_verifier	49s
build_cli_no_verifiers	29m 7s
full_recursion_fast	2h 0m 32s
delegation_example	0s
basic_example	0s
large_example	0s
verification_example	0s
full_recursion	0s
oh_bender_incremental_proofs	0s
	2h 49m 8s

Provide feedback