Add quicktheories examples to shrinking challenge

[Johannes Link]

There’s a repository targeted at comparing shrinking behaviour of various PBT libraries: https://github.com/jlink/shrinking-challenge

Would be great to have quicktheories therein. We’re happy to take PRs.