Merge pull request #1 from QuickCheck-CI/master

Adapt for QuickCheck CI
Removed outdated failing test.
Added readme.