Move to quickcheck 2