Investigate ACIR generation for nested_array_dynamic

[aakoshh]

Aim

A followup for #6972, see:

• fix: Reproduce and fix bytecode blowup #6972 (comment)
• fix: Reproduce and fix bytecode blowup #6972 (comment)

Expected Behavior

#6972 (comment)

Bug

The nested_array_dynamic example sees some bytecode increase after #6972
Upon closer inspection (see the linked comments above), the ACIR generated is suboptimal.

To Reproduce

cd test_programs/execution_success/nested_array_dynamic
argo run -p nargo_cli -- --program-dir . info --skip-underconstrained-check --skip-brillig-constraints-check --force --show-ssa --print-acir

#6972 (comment) contains a minimized verision of the test code.

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

nargo version = 1.0.0-beta.1 noirc version = 1.0.0-beta.1+bb8dd5ce43f0d89e393bd49f8415008826903652 (git version hash: 13b5871, is dirty: false)

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[vezenovm]

This is the proposal that @TomAFrench was referring to in the linked comments #6231. I am linking it here for visibility. I have some initial code that does this switch but was also reliant on separate runtimes before SSA #6841. I can clean it up and push the initial draft.

[aakoshh]

Awesome, thanks @vezenovm!