Right now, as far as I can tell, there is no way to pass a seed through `Checkers.check` so it's unclear how to reproduce a particular test run.