Add equivalent of foundry's `vm.assume`cheatcode

[TomAFrench]

We currently have no way of rejecting a case in the fuzzer for when the set of inputs are invalid (and cannot be mapped into a valid case). We should add a foreign call which signals to the fuzzer that it should reject the current fuzzing case.