Add node-quickcheck to related work section
Mention QuickCheck in short description
Regenerate README.md