OptionalstepThe target number of steps per test case (default
DEFAULT_STEP_COUNT): every test case runs at least one step and
at most this many; most run exactly this many, and the shrinker is free
to shorten a failing one. Each sampled invariant is checked after any
given step with probability 1 / stepCount. Must be at least 1.
Options for run and runAsync.