feat: Sync from noir (#6138)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: Require for all foldable functions to use distinct return
(noir-lang/noir#4949)
feat!: use `distinct` return value witnesses by default
(noir-lang/noir#4951)
chore(docs): adding matomo tracking
(noir-lang/noir#4898)
chore: fix typo in `ResolverError::AbiAttributeOutsideContract`
(noir-lang/noir#4933)
chore: Add test for recursing a foldable function
(noir-lang/noir#4948)
feat: Handle `no_predicates` attribute
(noir-lang/noir#4942)
fix: ensure where clauses propagated to trait default definitions
(noir-lang/noir#4894)
chore: Remove unnecessary `pub(super)` in interpreter
(noir-lang/noir#4939)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <tom@tomfren.ch>
Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

acir_tests/run_acir_tests.sh

@@ -35,7 +35,7 @@ export BIN CRS_PATH VERBOSE BRANCH
 cd acir_tests
 
 # Convert them to array
-SKIP_ARRAY=(diamond_deps_0 workspace workspace_default_member)
+SKIP_ARRAY=(diamond_deps_0 workspace workspace_default_member witness_compression)
 
 function test() {
   cd $1