Tail skipping for slice selectors that have a specified end

[V0ldek]

Is your feature request related to a problem? Please describe.
This is a generalisation of skipping unitary states in lists. For example, when we process $[10] we know we can skip the whole list after we report the $10$-th element, and the engine already does this today. However, for $[:10] we could skip at the exact same place, but today we would keep processing the whole list.

Describe the solution you'd like
The check for skipping inside lists should consider not only unitary transitions, but a more general property -- can I ever again match any of my transitions if I am already at given array index.

[github-actions]

Tagging @V0ldek for notifications