added some quickcheck tests; viable alternative to standard tests iff debugging is improved