added quickcheck tests to qbert