pub const DEFAULT_FUEL: u64 = 10_000;
Default step budget used by run. Large enough for normal expressions, small enough that proptest-generated divergent programs surface promptly.
run