gencheck-0.1.1: A testing framework inspired by QuickCheck and SmallCheck