chore(ssa refactor): acir-gen arrays in main

[joss-aztec]

Description

Summary*

Adds support for arrays found in parameters to main, and load instructions there from.

Example

fn main(xs : [Field; 2]) -> pub Field {
    xs[0] + xs[1]
}

compiles to

fn main f0 {
  b0(v0: reference):
    v3 = load v0
    v4 = add v0, Field 1
    v5 = load v4
    v6 = add v3, v5
    return v6
}

current witness index : 4
public parameters indices : []
return value indices : [3]
EXPR [ (1, _1) (1, _2) (-1, _3) 0 ]

Documentation

• This PR requires documentation updates when merged.

  • I will submit a noir-lang/docs PR.
  • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[kevaundray]

PR is okay for me too, and we can iterate on it in further PRs -- had a question RE the recursive method, but I think we can just refactor it if need be