feat: Sync from noir (#7400)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat: lsp rename/find-all-references for local variables
(noir-lang/noir#5439)
feat: remove duplicated array reads at constant indices
(noir-lang/noir#5445)
fix: Account for the expected kind when resolving turbofish generics
(noir-lang/noir#5448)
fix: Fix issue with unresolved results
(noir-lang/noir#5453)
feat: apply `no_predicates` in stdlib
(noir-lang/noir#5454)
fix: prevent `no_predicates` from removing predicates in calling
function (noir-lang/noir#5452)
feat: lsp rename/find-all-references for globals
(noir-lang/noir#5415)
feat: remove redundant `EnableSideEffects` instructions
(noir-lang/noir#5440)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Co-authored-by: Tom French <tom@tomfren.ch>
Co-authored-by: Álvaro Rodríguez <sirasistant@gmail.com>

aztec/src/utils/test.nr

@@ -75,7 +75,8 @@ fn verify_collapse_hints_hint_length_mismatch() {
     verify_collapse_hints(original, collapsed, collapsed_to_input_index_mapping);
 }
 
-#[test(should_fail_with="Out of bounds index hint")]
+// https://github.com/noir-lang/noir/issues/5464
+#[test(should_fail)]
 fn verify_collapse_hints_out_of_bounds_index_hint() {
     let original = [Option::some(7), Option::none(), Option::some(3)];
     let collapsed = BoundedVec::from_array([7, 3]);