use quickcheck for unit tests