Thanks for pointing me in the direction of reporter-fn, and mentioning that having it throw an exception could terminate the shrinking early.

@gfredericks Would you be interested in some kind of patch for the test.check library, perhaps documentation only, with around 60 lines of code that is a sample reporter-fn that when given to quick-check, will print progress on the number of tests run so far, and throw an exception if shrinking takes more than 5000 iterations through the shrink loop, saving the smallest args ever encountered in an atom before throwing the exception?

In case you are curious, this is what the code looks like: https://github.com/jafingerhut/clj-2594/blob/master/src/com/fingerhutpress/clj_2594.clj#L135-L193