Incorrect opcode span generated for assertions

[TomAFrench]

Aim

Noticed this while testing #3174, but it's unrelated to the changes in that PR.

I'd like to be able to go from opcodes back to the relevant expressions in Noir source code when debugging but I'm getting incorrect source being hightlighted.

Expected Behavior

I would expect the entirety of assert(x == z); to be hightlighted for the EXPR [ (-1, _3) (1, _11) 0 ] opcode.

Bug

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response