QuickCheck for C++