Shrink with a timeout

The current way to control shrinking is with a maximum number of shrinks. It's really hard to tweak this, because I don't really have any intuition behind that number - only "more leads to a better shrink". What I'd really rather do is shrink for up to 30s, and after that just show me the best counterexample that could be found.