Shrink with timeout instead of number

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 shrinking for a certain amount of time (search [this page](https://jqwik.net/docs/current/user-guide.html) for `ShrinkingMode.BOUNDED`): If a property fails, jqwik tries to shrink for (by defaut) up to 10 seconds. I'm not sure about the current Hedgehog functionality, but I am guessing it has a maximum number of shrinks instead of a time-based limit. The result is that, for complex inputs, the values may not be fully shrunk. When a property fails, I would find it much more useful to have the inputs be shrunk as much as possible, and I would have no problem waiting, say, up to 10 seconds for Hedgehog to produce the most shrunk values possible.