QuickCheck for PHP.