Debugger: Variable inspection

[mverzilli]

Problem

Make Noir source code level variables observable via the debugger.

Happy Case

REPL

A command vars should print every the values of every variable in context

VS Code extension

The variables pane of the debugger UI should display every variable in context

Additional Context

Implementation notes

Variable observability will be achieved by adding instrumentation oracles to track variable updates.

Caveats

• Updates to variables triggered by interactions with references will not be captured by the instrumentation at the first released version of this feature. While it is achievable, it requires some additional effort to generate the necessary mappings through instrumentation, so we're opting to leave them out of scope to get release an MVP version of the debugger earlier.
• Invoking oracles with slices is currently not possible, which means the programs run through the debugger will panic.

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response

[mverzilli]

Implemented by #4122