@Rewbert thoughts?

This whole discard thing is such a thorn in my side. The choice to compute sizes in this way seems to have been arbitrarily chosen initially (Koen looked guilty when I asked him about this!), so in my mind this is "equally arbitrary".

I have thought a lot about this, and have even tried out a few different approaches altogether, but have not landed in anything that is obviously superior. I think the question of sizes might be a more complicated one than it appears initially.

Regarding the eventual future merge of the parallel branch, this will not impact me negatively.

For posterity, I had to factor out computeSize from State because the computeSize definition was set too early based on the Args arguments to quickCheckWith and thereby would ignore withMaxSuccess and withDiscardRatio.