feat: Sync from noir

[AztecBot]

Automated pull of development from the noir programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE chore: regression test for #5462 (https://github.com/noir-lang/noir/pull/6286) feat(improve): Remove scan through globals (https://github.com/noir-lang/noir/pull/6282) feat: show LSP diagnostic related information (https://github.com/noir-lang/noir/pull/6277) feat: trait inheritance (https://github.com/noir-lang/noir/pull/6252) feat: optimize reading a workspace's files (https://github.com/noir-lang/noir/pull/6281) fix: prevent compiler panic when popping from empty slices (https://github.com/noir-lang/noir/pull/6274) feat(test): Include the PoseidonHasher in the fuzzing (https://github.com/noir-lang/noir/pull/6280) feat: slightly improve "unexpected token" error message (https://github.com/noir-lang/noir/pull/6279) feat(test): Fuzz poseidon hases against an external library (https://github.com/noir-lang/noir/pull/6273) feat: remove byte decomposition in compute_decomposition (https://github.com/noir-lang/noir/pull/6159) fix: address inactive public key check in verify_signature_noir (https://github.com/noir-lang/noir/pull/6270) feat(test): Fuzz test poseidon2 hash equivalence (https://github.com/noir-lang/noir/pull/6265) fix!: Integer division is not the inverse of integer multiplication (https://github.com/noir-lang/noir/pull/6243) feat(perf): Flamegraphs for test program execution benchmarks (https://github.com/noir-lang/noir/pull/6253) fix: visibility for impl methods (https://github.com/noir-lang/noir/pull/6261) feat: Add checked_transmute (https://github.com/noir-lang/noir/pull/6262) feat!: kind size checks (https://github.com/noir-lang/noir/pull/6137) feat: don't crash LSP when there are errors resolving the workspace (https://github.com/noir-lang/noir/pull/6257) fix: don't warn on unuse global if it has an abi annotation (https://github.com/noir-lang/noir/pull/6258) fix: don't warn on unused struct that has an abi annotation (https://github.com/noir-lang/noir/pull/6254) feat: don't suggest private struct fields in LSP (https://github.com/noir-lang/noir/pull/6256) feat: visibility for struct fields (https://github.com/noir-lang/noir/pull/6221) fix: handle dfg databus in SSA normalization (https://github.com/noir-lang/noir/pull/6249) fix: homogeneous input points for EC ADD (https://github.com/noir-lang/noir/pull/6241) chore: add regression test for #5756 (https://github.com/noir-lang/noir/pull/5770) feat: allow unconstrained after visibility (https://github.com/noir-lang/noir/pull/6246) feat: optimize Quoted::as_expr by parsing just once (https://github.com/noir-lang/noir/pull/6237) fix(frontend): Do not warn when a nested struct is provided as input to main (https://github.com/noir-lang/noir/pull/6239) fix!: Change tag attributes to require a ' prefix (https://github.com/noir-lang/noir/pull/6235) feat: recover from '=' instead of ':' in struct constructor/pattern (https://github.com/noir-lang/noir/pull/6236) END_COMMIT_OVERRIDE