Allow for a max shrink time in quick-check

This is the simplest implementation I could come up with.  Without bounds, checks with large generators are almost unusable.
Feel free to discuss if you thought about a different approach for time bounding.