feat: Sync from noir (#8663)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat(perf): Allow array set last uses optimization in return block of
Brillig functions (noir-lang/noir#6119)
feat: represent assertions more similarly to function calls
(noir-lang/noir#6103)
feat: pretty print Quoted token stream
(noir-lang/noir#6111)
feat: LSP autocompletion for `TypePath`
(noir-lang/noir#6117)
fix: disambiguate field or int static trait method call
(noir-lang/noir#6112)
chore: delete duplicated test
(noir-lang/noir#6113)
feat: (LSP) suggest $vars inside `quote { ... }`
(noir-lang/noir#6114)
chore: ec addition for non-zero points
(noir-lang/noir#5858)
chore(docs): removing old versions
(noir-lang/noir#6075)
fix(mem2reg): Remove possibility of underflow
(noir-lang/noir#6107)
fix: decode databus return values
(noir-lang/noir#6095)
END_COMMIT_OVERRIDE

---------

Co-authored-by: TomAFrench <[email protected]>
Co-authored-by: sirasistant <[email protected]>

acir_tests/run_acir_tests.sh

@@ -41,7 +41,8 @@ SKIP_ARRAY=(diamond_deps_0 workspace workspace_default_member)
 # if HONK is false, we should skip verify_honk_proof
 if [ "$HONK" = false ]; then
     # Insert the new item into the array
-    SKIP_ARRAY+=(verify_honk_proof)
+    # TODO https://github.com/AztecProtocol/barretenberg/issues/1108
+    SKIP_ARRAY+=(verify_honk_proof regression_5045)
 fi
 
 function test() {