add quickCheck integration
add docs and cabal for qc
bump version