Unify depthCheck and smallCheck

[UnkindPartition]

At the moment, there are two ways to run smallcheck: for depth bound 'd' only, or for depth bounds from 0 to 'd'.

The first option doesn't duplicate the work, while the second guarantees that we get the smallest counterexample.

Is it possible to have the best of both worlds?

[polux]

Hello, I just you just closed that issue. Has it been fixed?

[UnkindPartition]

That's right — the next version, which I hope will be released this week, will have just one smallCheck function which is the best of both worlds. Stay tuned! :)