Why not use smallcheck?

Bodigrim:

Guess what? I’ve never seen a case where it would spot a bug, which QuickCheck didn’t.

Not surprising; that’s really not where the value of exhaustive—or rather, simplest first —testing lies. IMO the big win is getting a genuinely minimal counterexample to your property in cases where greedy shrinking just isn’t good enough.