QuickCheck for python.