feat: Sync from noir

[AztecBot]

Automated pull of development from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat: several nargo test improvements (noir-lang/noir#6728)
chore: Try replace callstack with a linked list (noir-lang/noir#6747)
chore: Use NumericType not Type for casts and numeric constants (noir-lang/noir#6769)
chore(ci): Extend compiler memory report to external repos (noir-lang/noir#6768)
chore(ci): Handle external libraries in compilation timing report (noir-lang/noir#6750)
feat(ssa): Implement missing brillig constraints SSA check (noir-lang/noir#6658)
fix: Do not merge expressions that contain output witnesses (noir-lang/noir#6757)
fix: parser would hand on function type with colon in it (noir-lang/noir#6764)
chore(docs): Update branding (noir-lang/noir#6759)
feat(cli): Run command on the package closest to the current directory (noir-lang/noir#6752)
chore: lock CI to use ubuntu 22.04 (noir-lang/noir#6755)
chore: free memory for silenced warnings early (noir-lang/noir#6748)
chore(stdlib)!: Remove Schnorr (noir-lang/noir#6749)
fix: Improve type error when indexing a variable of unknown type (noir-lang/noir#6744)
fix: println("{{}}") was printing "{{}}" instead of "{}" (noir-lang/noir#6745)
feat: std::hint::black_box function. (noir-lang/noir#6529)
feat(ci): Initial compilation report on test_programs (noir-lang/noir#6731)
chore: Cleanup unrolling pass (noir-lang/noir#6743)
fix: allow empty loop headers (noir-lang/noir#6736)
fix: map entry point indexes after all ssa passes (noir-lang/noir#6740)
chore: Update url to 2.5.4 (noir-lang/noir#6741)
feat: Order attribute execution by their source ordering (noir-lang/noir#6326)
feat(test): Check that nargo::ops::transform_program is idempotent (noir-lang/noir#6694)
feat: Sync from aztec-packages (noir-lang/noir#6730)
END_COMMIT_OVERRIDE

[TomAFrench]

@aakoshh Looks like the changes made to transform_program have resulted in test failures.

[github-actions]

Changes to circuit sizes

Generated at commit: bdc0af0e4816805e340fd5ff1016d44abad57b58, compared to commit: 12473c85a073ef1a25f4f70881f77f3c08f41252

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_base_public	+201,300 ❌	+7.64%	+15,500,100 ❌	+112.49%
rollup_block_root	-32 ✅	-0.82%	-32 ✅	-0.00%
rollup_block_root_empty	-32 ✅	-25.40%	-32 ✅	-1.09%
rollup_block_merge	-13,568 ✅	-49.46%	-49,194 ✅	-2.58%
rollup_root	-13,568 ✅	-49.48%	-49,194 ✅	-2.58%

---

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_base_public	2,834,655 (+201,300)	+7.64%	29,279,021 (+15,500,100)	+112.49%
rollup_block_root	3,862 (-32)	-0.82%	2,739,028 (-32)	-0.00%
rollup_block_root_empty	94 (-32)	-25.40%	2,891 (-32)	-1.09%
rollup_block_merge	13,867 (-13,568)	-49.46%	1,860,344 (-49,194)	-2.58%
rollup_root	13,851 (-13,568)	-49.48%	1,860,330 (-49,194)	-2.58%

[vezenovm]

I'm trying to compile the blob package of the protocol circuits and it looks now hang on the check introduced in noir-lang/noir#6658.

[TomAFrench]

We can disable this to help get the sync through bloblib PR can disable this

[TomAFrench]

@aakoshh I've pushed a commit to fix the build. lemme know if you see any issues.