nightly

feat: Sync from noir (#11138)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat!: require trait primitive functions/calls to have their trait in
scope (https://github.com/noir-lang/noir/pull/6901)
feat(lsp): use trait method docs for trait impl method docs on hover
(https://github.com/noir-lang/noir/pull/7003)
chore: turn on averaging for protocol circuits metrics in CI
(https://github.com/noir-lang/noir/pull/6999)
feat(comptime): Implement to_be_bits and to_le_bits in the interpreter
(https://github.com/noir-lang/noir/pull/7008)
chore: Add short circuit in ssa-gen for known if conditions
(https://github.com/noir-lang/noir/pull/7007)
chore: Only resolved globals monomorphization
(https://github.com/noir-lang/noir/pull/7006)
chore: Remove resolve_is_unconstrained pass
(https://github.com/noir-lang/noir/pull/7004)
chore: require safety doc comment for unsafe instead of `//@safety`
(https://github.com/noir-lang/noir/pull/6992)
fix: Reproduce and fix bytecode blowup
(https://github.com/noir-lang/noir/pull/6972)
chore: mark casts as able to be deduplicated
(https://github.com/noir-lang/noir/pull/6996)
fix: return trait impl method as FuncId if there's only one
(https://github.com/noir-lang/noir/pull/6989)
chore(ci): fail properly in `external-repo-checks`
(https://github.com/noir-lang/noir/pull/6988)
fix: allow multiple trait impls for the same trait as long as one is in
scope (https://github.com/noir-lang/noir/pull/6987)
chore: Use DFG in SSA printer
(https://github.com/noir-lang/noir/pull/6986)
chore!: Reserve `enum` and `match` keywords
(https://github.com/noir-lang/noir/pull/6961)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <tom@tomfren.ch>