A Smarter QuickCheck