Depend on quickcheck-io
Adapt tests
Bump version