Arbitrary.fail_fix to fail in a fixpoint
Arbitrary.fix_fuel_gen, similar to fix_fuel but threading
a state bottom-up to make choices depend on the path