Comment by eru

Btw, Python's Hypothesis is a lot better at shrinking than QuickCheck.

Not only do you get shrinking 'for free', Hypothesis's shrinker is also smarter at finding opportunities to shrink.