fix: more SSA interpreter fixes

[asterite]

Description

Problem

Resolves #8894

Summary

There are several commits here explaining what got fixed.

The changes in brillig codes, etc., is because a u32 was changed to Field when doing codegen for a format string (this is fixing a bug).

I also added a few things to the intepreter:

• when defining a value (the define method), we now always check that the type of the value we assign to is the same as the type of the value on the right-hand side. This caught a ton of bugs.
• I renamed --print-definitions to --trace because just printing definitions wasn't clear enough: if a function was called the same value IDs might show up on the screen, but they are for a different function. So now we get to see when functions are entered and exited, and also block jumps.

Here's a sample trace:

acir(inline) fn main f0 {
  b0(v0: Field):
    v3 = call f1(v0) -> Field
    v5 = eq v3, Field 0
    jmpif v5 then: b1, else: b2
  b1():
    v9 = add v3, Field 1
    jmp b3(v9)
  b2():
    v7 = add v3, Field 10
    jmp b3(v7)
  b3(v1: Field):
    return v1
}
acir(inline) fn foo f1 {
  b0(v0: Field):
    v2 = add v0, Field 1
    v4 = add v0, Field 2
    v5 = add v2, v4
    return v5
}


enter function f0 (main)
v0 = Field 10

enter function f1 (foo)
v0 = Field 10
v2 = Field 11
v4 = Field 12
v5 = Field 23
return Field 23
exit function f1 (foo)

back in function f0 (main)
v3 = Field 23
v5 = u1 false
jump to b2
v7 = Field 33
jump to b3
v1 = Field 33
return Field 33
exit function f0 (main)

--- Interpreter result after Initial SSA:
Ok([Numeric(Field(33))])
---

Additional Context

Documentation

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions]

Changes to number of Brillig opcodes executed

Generated at commit: b8c323e1b3c41947ccf9d2aed9a045b6a7a63671, compared to commit: 7902a216bd9a052ec57aaad6071bbaa779d4dc0b

🧾 Summary (10% most significant diffs)

Program	Brillig opcodes (+/-)	%
fmtstr_with_global_inliner_max	-1 ✅	-0.95%
fmtstr_with_global_inliner_min	-1 ✅	-0.95%
fmtstr_with_global_inliner_zero	-1 ✅	-0.95%

---

Full diff report 👇

Program	Brillig opcodes (+/-)	%
debug_logs_inliner_min	5,341 (-1)	-0.02%
debug_logs_inliner_zero	5,341 (-1)	-0.02%
debug_logs_inliner_max	5,128 (-1)	-0.02%
fmtstr_with_global_inliner_max	104 (-1)	-0.95%
fmtstr_with_global_inliner_min	104 (-1)	-0.95%
fmtstr_with_global_inliner_zero	104 (-1)	-0.95%

[github-actions]

Changes to Brillig bytecode sizes

Generated at commit: b8c323e1b3c41947ccf9d2aed9a045b6a7a63671, compared to commit: 7902a216bd9a052ec57aaad6071bbaa779d4dc0b

🧾 Summary (10% most significant diffs)

Program	Brillig opcodes (+/-)	%
fmtstr_with_global_inliner_max	-1 ✅	-0.94%
fmtstr_with_global_inliner_min	-1 ✅	-0.94%
fmtstr_with_global_inliner_zero	-1 ✅	-0.94%

---

Full diff report 👇

Program	Brillig opcodes (+/-)	%
lambda_from_dynamic_if_inliner_zero	438 (+1)	+0.23%
lambda_from_dynamic_if_inliner_min	446 (+1)	+0.22%
lambda_from_dynamic_if_inliner_max	492 (+1)	+0.20%
debug_logs_inliner_min	5,317 (-1)	-0.02%
debug_logs_inliner_zero	5,317 (-1)	-0.02%
debug_logs_inliner_max	5,116 (-1)	-0.02%
fmtstr_with_global_inliner_max	105 (-1)	-0.94%
fmtstr_with_global_inliner_min	105 (-1)	-0.94%
fmtstr_with_global_inliner_zero	105 (-1)	-0.94%

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 5da5211	Previous: 7902a21	Ratio
rollup-merge	0.004 s	0.003 s	1.33

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[jfecher]

LGTM