This allows for very cheap transformations on the range of elements that are to be passed to ExecuteWitnessScript.
This introduces a rudimentary begin(), end(), operator[], and subspan to Span.