QuickCheck clone for C++
