chore: Sync to noir-lang/noir

refactor: cleanup of `abi.nr` in `aztec-nr` (#4473)
feat: Allow nested arrays and vectors in Brillig foreign calls (#4478)
feat: allow brillig to read arrays directly from memory (#4460)
feat(avm): back in avm context with macro - refactor context (#4438)
chore!: rename bigint_neg into bigint_sub (#4420)
chore: add bigint solver in ACVM and add a unit test for bigints in Noir (#4415)
feat!: Add expression width into acir (#4014)
feat: Add bit size to const opcode (#4385)
feat(aztec-nr): initial work for aztec public vm macro (#4400)
chore: surpress chained macro warning (#4396)
feat!: init storage macro (#4200)
chore(acir)!: Move `is_recursive` flag to be part of the circuit definition (#4221) [skip ci]