add simple test-suite for ivory-quickcheck