feat: Sync from noir

[AztecBot]

Automated pull of development from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: add end step for formatting workflow (noir-lang/noir#7070)
feat(LSP): code action to import trait in a method call (noir-lang/noir#7066)
feat!: Handle generic fields in StructDefinition::fields and move old functionality to StructDefinition::fields_as_written (noir-lang/noir#7067)
chore(ci): Check various inliner aggressiveness setttings in Brillig reports (noir-lang/noir#7049)
chore: reenable reports on rollup root circuits (noir-lang/noir#7061)
fix: don't always select trait impl when verifying trait constraints (noir-lang/noir#7041)
chore: mark some critical libraries as good again (noir-lang/noir#7065)
fix: Reduce memory usage in mem2reg (noir-lang/noir#7053)
feat: Allow associated types to be ellided from trait constraints (noir-lang/noir#7026)
chore(perf): try using vec-collections's VecSet in AliasSet (noir-lang/noir#7058)
chore: reduce number of iterations of acvm::compiler::compile (noir-lang/noir#7050)
chore: add noir_check_shuffle as a critical library (noir-lang/noir#7056)
chore: clippy warning fix (noir-lang/noir#7051)
chore(ci): Unify compilation/execution report jobs that take averages with single runs (noir-lang/noir#7048)
fix(nargo_fmt): let doc comment could come after regular comment (noir-lang/noir#7046)
fix(nargo_fmt): don't consider identifiers the same if they are equal… (noir-lang/noir#7043)
feat: auto-import traits when suggesting trait methods (noir-lang/noir#7037)
feat: avoid inserting inc_rc instructions into ACIR (noir-lang/noir#7036)
fix(lsp): suggest all possible trait methods, but only visible ones (noir-lang/noir#7027)
chore: add more protocol circuits to reports (noir-lang/noir#6977)
feat: avoid generating a new witness when checking if linear expression is zero (noir-lang/noir#7031)
feat: skip codegen of zero iteration loops (noir-lang/noir#7030)
END_COMMIT_OVERRIDE

[TomAFrench]

@jfecher please make any necessary changes to get this merged.

[github-actions]

Changes to circuit sizes

Generated at commit: e1bfa56467dc7cc6df2d7bb74bfab70905c76726, compared to commit: 80a872df68b0594d6dab442edcbf963a7c257152

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_root	-149 ✅	-0.48%	-149 ✅	-0.00%
rollup_merge	-63 ✅	-3.38%	-63 ✅	-0.00%
parity_root	-180 ✅	-4.05%	-180 ✅	-0.01%
rollup_block_merge	-149 ✅	-0.48%	-149 ✅	-0.01%
private_kernel_reset_0_0_0_64_0_0_0_0_0	-128 ✅	-0.46%	-128 ✅	-0.05%
private_kernel_reset_0_64_0_0_0_0_0_0_0	-128 ✅	-0.49%	-128 ✅	-0.05%
private_kernel_tail	-17 ✅	-0.38%	-17 ✅	-0.06%
rollup_base_public	-2,461 ✅	-0.67%	-2,461 ✅	-0.08%
rollup_block_root	-4,172 ✅	-0.87%	-4,172 ✅	-0.10%
rollup_base_private	-1,980 ✅	-1.43%	-1,980 ✅	-0.11%
rollup_block_root_single_tx	-4,110 ✅	-0.86%	-4,110 ✅	-0.13%
private_kernel_reset_0_0_0_0_0_64_0_0_0	-64 ✅	-0.34%	-64 ✅	-0.13%
private_kernel_reset	-928 ✅	-1.28%	-928 ✅	-0.15%
private_kernel_reset_32_32_32_32_32_32_32_32_32	-640 ✅	-1.34%	-640 ✅	-0.19%
private_kernel_reset_0_0_0_0_64_0_0_0_0	-192 ✅	-1.40%	-192 ✅	-0.20%
private_kernel_reset_16_16_16_16_16_16_16_16_16	-480 ✅	-1.41%	-480 ✅	-0.24%
private_kernel_reset_32_16_32_16_4_4_4_4_4	-440 ✅	-1.40%	-440 ✅	-0.25%
private_kernel_reset_32_16_32_16_4_4_4_4_32	-468 ✅	-1.38%	-468 ✅	-0.26%
private_kernel_reset_32_16_32_16_4_4_64_4_4	-500 ✅	-1.48%	-500 ✅	-0.26%
private_kernel_reset_32_16_32_16_4_4_64_4_32	-528 ✅	-1.46%	-528 ✅	-0.27%
private_kernel_reset_32_16_32_16_4_4_4_64_4	-500 ✅	-1.51%	-500 ✅	-0.27%
private_kernel_reset_32_16_32_16_4_4_4_64_32	-528 ✅	-1.49%	-528 ✅	-0.28%
private_kernel_reset_32_16_32_16_4_4_64_64_4	-560 ✅	-1.58%	-560 ✅	-0.28%
private_kernel_reset_32_16_32_16_4_4_64_64_32	-588 ✅	-1.56%	-588 ✅	-0.29%
private_kernel_reset_32_4_32_16_4_4_4_4_4	-428 ✅	-1.51%	-428 ✅	-0.31%
private_kernel_reset_32_16_32_4_4_4_4_4_4	-428 ✅	-1.52%	-428 ✅	-0.32%
private_kernel_reset_32_4_32_16_4_4_64_4_4	-488 ✅	-1.59%	-488 ✅	-0.32%
private_kernel_reset_32_4_32_16_4_4_4_4_32	-456 ✅	-1.48%	-456 ✅	-0.32%
private_kernel_reset_32_16_32_4_4_4_64_4_4	-488 ✅	-1.60%	-488 ✅	-0.32%
private_kernel_reset_32_16_32_4_4_4_4_4_32	-456 ✅	-1.49%	-456 ✅	-0.33%
private_kernel_reset_32_4_32_16_4_4_64_4_32	-516 ✅	-1.56%	-516 ✅	-0.33%
private_kernel_reset_32_16_32_4_4_4_64_4_32	-516 ✅	-1.57%	-516 ✅	-0.33%
private_kernel_reset_32_4_32_16_4_4_4_64_4	-488 ✅	-1.62%	-488 ✅	-0.34%
private_kernel_reset_32_4_32_16_4_4_64_64_4	-548 ✅	-1.70%	-548 ✅	-0.35%
private_kernel_reset_32_16_32_4_4_4_4_64_4	-488 ✅	-1.64%	-488 ✅	-0.35%
private_kernel_reset_32_4_32_16_4_4_4_64_32	-516 ✅	-1.59%	-516 ✅	-0.35%
private_kernel_reset_32_16_32_4_4_4_64_64_4	-548 ✅	-1.71%	-548 ✅	-0.35%
private_kernel_reset_32_4_32_16_4_4_64_64_32	-576 ✅	-1.66%	-576 ✅	-0.35%
private_kernel_reset_32_16_32_4_4_4_4_64_32	-516 ✅	-1.60%	-516 ✅	-0.35%
private_kernel_reset_32_16_32_4_4_4_64_64_32	-576 ✅	-1.67%	-576 ✅	-0.36%
private_kernel_init	-144 ✅	-0.76%	-144 ✅	-0.36%
private_kernel_reset_0_0_64_0_0_0_0_0_0	-128 ✅	-1.13%	-128 ✅	-0.37%
private_kernel_reset_64_0_0_0_0_0_0_0_0	-128 ✅	-1.13%	-128 ✅	-0.37%
private_kernel_reset_4_4_4_4_4_4_4_4_4	-360 ✅	-1.52%	-360 ✅	-0.40%
private_kernel_reset_32_4_32_4_4_4_64_4_4	-476 ✅	-1.74%	-476 ✅	-0.44%
private_kernel_reset_32_4_32_4_4_4_64_4_32	-504 ✅	-1.69%	-504 ✅	-0.45%
private_kernel_reset_32_4_32_4_4_4_4_4_4	-416 ✅	-1.66%	-416 ✅	-0.45%
private_kernel_reset_32_4_32_4_4_4_4_4_32	-444 ✅	-1.61%	-444 ✅	-0.46%
private_kernel_reset_32_4_32_4_4_4_64_64_4	-536 ✅	-1.85%	-536 ✅	-0.47%
private_kernel_reset_32_4_32_4_4_4_64_64_32	-564 ✅	-1.79%	-564 ✅	-0.47%
private_kernel_reset_32_4_32_4_4_4_4_64_4	-476 ✅	-1.78%	-476 ✅	-0.48%
private_kernel_tail_to_public	-184 ✅	-1.46%	-184 ✅	-0.48%
private_kernel_reset_32_4_32_4_4_4_4_64_32	-504 ✅	-1.73%	-504 ✅	-0.49%
parity_base	-180 ✅	-4.85%	-180 ✅	-0.60%
private_kernel_inner	-856 ✅	-2.93%	-856 ✅	-1.17%

---

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_root	30,814 (-149)	-0.48%	14,593,467 (-149)	-0.00%
rollup_merge	1,803 (-63)	-3.38%	1,800,359 (-63)	-0.00%
parity_root	4,266 (-180)	-4.05%	3,487,851 (-180)	-0.01%
rollup_block_merge	30,830 (-149)	-0.48%	1,954,468 (-149)	-0.01%
private_kernel_reset_0_0_0_64_0_0_0_0_0	27,442 (-128)	-0.46%	267,721 (-128)	-0.05%
private_kernel_reset_0_64_0_0_0_0_0_0_0	26,096 (-128)	-0.49%	256,151 (-128)	-0.05%
private_kernel_tail	4,400 (-17)	-0.38%	26,407 (-17)	-0.06%
rollup_base_public	364,480 (-2,461)	-0.67%	3,233,491 (-2,461)	-0.08%
rollup_block_root	473,307 (-4,172)	-0.87%	4,058,706 (-4,172)	-0.10%
rollup_base_private	136,561 (-1,980)	-1.43%	1,770,575 (-1,980)	-0.11%
rollup_block_root_single_tx	471,811 (-4,110)	-0.86%	3,128,652 (-4,110)	-0.13%
private_kernel_reset_0_0_0_0_0_64_0_0_0	18,582 (-64)	-0.34%	47,991 (-64)	-0.13%
private_kernel_reset	71,306 (-928)	-1.28%	611,828 (-928)	-0.15%
private_kernel_reset_32_32_32_32_32_32_32_32_32	47,003 (-640)	-1.34%	336,044 (-640)	-0.19%
private_kernel_reset_0_0_0_0_64_0_0_0_0	13,477 (-192)	-1.40%	94,509 (-192)	-0.20%
private_kernel_reset_16_16_16_16_16_16_16_16_16	33,498 (-480)	-1.41%	195,869 (-480)	-0.24%
private_kernel_reset_32_16_32_16_4_4_4_4_4	31,038 (-440)	-1.40%	178,117 (-440)	-0.25%
private_kernel_reset_32_16_32_16_4_4_4_4_32	33,427 (-468)	-1.38%	182,699 (-468)	-0.26%
private_kernel_reset_32_16_32_16_4_4_64_4_4	33,256 (-500)	-1.48%	193,851 (-500)	-0.26%
private_kernel_reset_32_16_32_16_4_4_64_4_32	35,645 (-528)	-1.46%	198,433 (-528)	-0.27%
private_kernel_reset_32_16_32_16_4_4_4_64_4	32,595 (-500)	-1.51%	184,203 (-500)	-0.27%
private_kernel_reset_32_16_32_16_4_4_4_64_32	34,984 (-528)	-1.49%	188,785 (-528)	-0.28%
private_kernel_reset_32_16_32_16_4_4_64_64_4	34,813 (-560)	-1.58%	199,937 (-560)	-0.28%
private_kernel_reset_32_16_32_16_4_4_64_64_32	37,202 (-588)	-1.56%	204,518 (-588)	-0.29%
private_kernel_reset_32_4_32_16_4_4_4_4_4	27,990 (-428)	-1.51%	136,336 (-428)	-0.31%
private_kernel_reset_32_16_32_4_4_4_4_4_4	27,754 (-428)	-1.52%	134,207 (-428)	-0.32%
private_kernel_reset_32_4_32_16_4_4_64_4_4	30,208 (-488)	-1.59%	152,070 (-488)	-0.32%
private_kernel_reset_32_4_32_16_4_4_4_4_32	30,379 (-456)	-1.48%	140,918 (-456)	-0.32%
private_kernel_reset_32_16_32_4_4_4_64_4_4	29,972 (-488)	-1.60%	149,941 (-488)	-0.32%
private_kernel_reset_32_16_32_4_4_4_4_4_32	30,143 (-456)	-1.49%	138,789 (-456)	-0.33%
private_kernel_reset_32_4_32_16_4_4_64_4_32	32,597 (-516)	-1.56%	156,652 (-516)	-0.33%
private_kernel_reset_32_16_32_4_4_4_64_4_32	32,361 (-516)	-1.57%	154,523 (-516)	-0.33%
private_kernel_reset_32_4_32_16_4_4_4_64_4	29,547 (-488)	-1.62%	142,422 (-488)	-0.34%
private_kernel_reset_32_4_32_16_4_4_64_64_4	31,765 (-548)	-1.70%	158,156 (-548)	-0.35%
private_kernel_reset_32_16_32_4_4_4_4_64_4	29,311 (-488)	-1.64%	140,293 (-488)	-0.35%
private_kernel_reset_32_4_32_16_4_4_4_64_32	31,936 (-516)	-1.59%	147,004 (-516)	-0.35%
private_kernel_reset_32_16_32_4_4_4_64_64_4	31,529 (-548)	-1.71%	156,027 (-548)	-0.35%
private_kernel_reset_32_4_32_16_4_4_64_64_32	34,154 (-576)	-1.66%	162,737 (-576)	-0.35%
private_kernel_reset_32_16_32_4_4_4_4_64_32	31,700 (-516)	-1.60%	144,875 (-516)	-0.35%
private_kernel_reset_32_16_32_4_4_4_64_64_32	33,918 (-576)	-1.67%	160,608 (-576)	-0.36%
private_kernel_init	18,681 (-144)	-0.76%	39,848 (-144)	-0.36%
private_kernel_reset_0_0_64_0_0_0_0_0_0	11,248 (-128)	-1.13%	34,538 (-128)	-0.37%
private_kernel_reset_64_0_0_0_0_0_0_0_0	11,248 (-128)	-1.13%	34,538 (-128)	-0.37%
private_kernel_reset_4_4_4_4_4_4_4_4_4	23,362 (-360)	-1.52%	90,732 (-360)	-0.40%
private_kernel_reset_32_4_32_4_4_4_64_4_4	26,924 (-476)	-1.74%	108,160 (-476)	-0.44%
private_kernel_reset_32_4_32_4_4_4_64_4_32	29,313 (-504)	-1.69%	112,742 (-504)	-0.45%
private_kernel_reset_32_4_32_4_4_4_4_4_4	24,706 (-416)	-1.66%	92,426 (-416)	-0.45%
private_kernel_reset_32_4_32_4_4_4_4_4_32	27,095 (-444)	-1.61%	97,008 (-444)	-0.46%
private_kernel_reset_32_4_32_4_4_4_64_64_4	28,481 (-536)	-1.85%	114,246 (-536)	-0.47%
private_kernel_reset_32_4_32_4_4_4_64_64_32	30,870 (-564)	-1.79%	118,827 (-564)	-0.47%
private_kernel_reset_32_4_32_4_4_4_4_64_4	26,263 (-476)	-1.78%	98,512 (-476)	-0.48%
private_kernel_tail_to_public	12,447 (-184)	-1.46%	37,944 (-184)	-0.48%
private_kernel_reset_32_4_32_4_4_4_4_64_32	28,652 (-504)	-1.73%	103,094 (-504)	-0.49%
parity_base	3,533 (-180)	-4.85%	29,928 (-180)	-0.60%
private_kernel_inner	28,370 (-856)	-2.93%	72,236 (-856)	-1.17%