Perhaps we can provide the user with a meta-property that checks that any result of shrinking should be possible to generate. (This is kind of what Hedgehog-style shrinking gets for free).
See #263 for discussion and the following tweet about how they do it in Erlang's eqc.
