Support exhaustive generation if number of permutations <= number of tests

I came across a blog post on property testing that used [jqwik](https://jqwik.net/). It seems to have some nice functionality that would be great to have in Hedgehog.

One useful feature is [exhaustive generation](https://jqwik.net/docs/current/user-guide.html#exhaustive-generation): If jqwik sees that it can generate all permutations of the inputs with at most the specified (or default) number of tests, it generates all permutations instead of random values. It would be great to have this functionality in Hedgehog.