feat: added functionality for 100 security bits #798

Job	Run time
ISA tests for simulator	1m 25s
circuits_generated	1m 26s
build_verifier	1m 10s
cargo fmt	38s
build_cli_with_verify	1m 45s
build_cli_no_verifiers	2m 24s
tests	1m 24s
full_recursion_fast	1m 6s
build_cli_no_verifiers_512	1m 43s
risc_v_tests_delegations	1m 47s
full_recursion	0s
oh_bender_incremental_proofs	0s
basic_example	0s
delegation_example	0s
large_example	0s
verification_example	0s
	14m 48s

Provide feedback