Distinguish between shrunk and not-yet-shrunk

[edsko]

This makes it possible to define generators that always behave the same, independent of the starting seed/sample tree.