2.15.3

Allow shrinking private unions. (by Sander van Dijk)
Limit total number of shrink attempts to 5000, to avoid infinite loops in general, and in particular if an argument is mutated in the test.