qcheck 0.2 (merge with gasche's generator)
Merge pull request #1274 from c-cube/master

qcheck 0.2, again