feat: Sync commits from aztec-packages (#4216)

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

---------

Signed-off-by: kevaundray <kevtheappdev@gmail.com>
Co-authored-by: ludamad <adam.domurad@gmail.com>
Co-authored-by: ludamad <adam@aztecprotocol.com>
Co-authored-by: kevaundray <kevtheappdev@gmail.com>
Co-authored-by: sirasistant <sirasistant@gmail.com>
Co-authored-by: Gregorio Juliana <gregojquiros@gmail.com>
Co-authored-by: Tom French <tom@tomfren.ch>
Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>
Co-authored-by: Jan Beneš <janbenes1234@gmail.com>
Co-authored-by: Charlie Lye <karl.lye@gmail.com>
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Co-authored-by: ledwards2225 <l.edwards.d@gmail.com>
Co-authored-by: ledwards2225 <98505400+ledwards2225@users.noreply.github.com>
Co-authored-by: Santiago Palladino <santiago@aztecprotocol.com>
Co-authored-by: James Zaki <james.zaki@proton.me>
Co-authored-by: guipublic <47281315+guipublic@users.noreply.github.com>