An invariant with options; see Invariant.
Optional
Check after every step rather than sampling (default false). See the module documentation for when to use this.
false
An invariant with options; see Invariant.