added a few quickcheck tests