# Description

## Problem\*


## Summary\*

Adds the actual array set optimization to
#4716. This is separate since the
other PR still has errors and I want to fix those before adding more
with the actual optimization. At the same time, I've put up this PR to
see the circuit size changes in CI.

## Additional Context

This PR is currently failing a few additional tests. I think these are
mostly array out of bounds accesses from storing which indices were
changed. In some if statements, these indices may be out of bounds but
not error since that if case was not run. Trying to get and store to
this same index after the if then gives an OOB error. This can be fixed
by only applying the optimization when constant indices are used and
filtering out the OOB ones but then dynamic indices won't see this
important optimization at all.

## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

* master: (38 commits)
  feat: add `min` and `max` functions to the stdlib (#4839)
  feat: Allow numeric generics to non inlined ACIR functions (#4834)
  chore!: Add `as_array` and remove `_slice` variants of hash functions (#4675)
  feat!: reserve keyword `super` (#4836)
  feat: simplify `BoundedVec::eq` (#4838)
  feat: Add comptime Interpreter (#4821)
  feat: Sync from aztec-packages (#4833)
  feat: implement `Eq` trait on `BoundedVec` (#4830)
  chore: add benchmarks for serializing a dummy program (#4813)
  chore: remove unnecessary casts in `BoundedVec` (#4831)
  fix: issue 4682 and add solver for unconstrained bigintegers (#4729)
  chore(docs): fix wrong Nargo.toml workspace examples (#4822)
  chore: delete unnecessary Prover.toml file (#4829)
  chore: fix alerts on rust msrv (#4817)
  chore(ci): fix alerts on msrv issues (#4816)
  chore: run clippy (#4810)
  chore: optimize poseidon2 implementation (#4807)
  fix: catch panics from EC point creation (e.g. the point is at infinity) (#4790)
  feat: Sync from aztec-packages (#4792)
  feat: lalrpop lexer prototype (#4656)
  ...

…noir into jf/opt-array-merging2