fix: Outdated assertion #752

Job	Run time
build_cli_no_verifiers_512	2m 36s
build_verifier	3m 35s
tests	2m 0s
cargo fmt	27s
risc_v_tests_delegations	1m 45s
full_recursion_fast	2m 14s
build_cli_with_verify	1m 39s
ISA tests for simulator	1m 31s
build_cli_no_verifiers	3m 47s
circuits_generated	2m 33s
large_example	4m 54s
basic_example	2m 43s
delegation_example	5m 13s
verification_example	7m 21s
oh_bender_incremental_proofs	1m 33s
full_recursion	3m 37s
	47m 28s

Provide feedback