Added QuickCheck test framework