Dynamic indices for non-homogenous slices

[vezenovm]

Problem

This PR #2703 implements dynamic indices for non-homogenous arrays. Dynamic arrays in SSA utilize a flat memory structure that does not match our SSA array operations. We need to thus dynamically compute the accurate index based upon the element size of the array as well as its flattened size. For arrays which have a constant length a solution was proposed in PR #2703, but this is not entirely obvious for slices which have both a capacity in the SSA that is reliant upon witnesses and a dynamically tracked length.

Happy Case

We should be able to dynamically index slices like we do arrays.

Alternatives Considered

N/A

If this is not possible, dynamically accessing non-homogenous slices will be a missing feature.

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response