A reimplementation-in-spirit of Haskell's QuickCheck library. For PHP.