Quickcheck options

Implement issue #127