Merge pull request #521 from exlevan/master

Require QuickCheck 2.7
Bump master version to 0.8.0 to avoid confusion.