add quickcheck to dependency list in README