Allow for a max shrink time in quick-check