Greedily continue shrinking an argument rather than interleaving.
Greedily continue shrinking an argument rather than interleaving.

If there are two arguments and one of them has a much larger state
space than the other, this avoids excessive property running when
one argument is unable to shrink further but the other keeps
shrinking in small steps.

silentbicycle/theft