Support replay on gen with deep paths

[dubzzz]

🚀 Feature Request

Related to #4339

Hardly feasible except by accepting intermediate execution.

In other words, when receiving path=x:y:z, we would have to:

• run the property once for the seed with an offset of x
• shrink up to offset y and run
• shrink up to offset z and run (it's the one we wanted to run)