feat: Instrument AST in debug mode to track variable state

[nthiad]

Description

This patch builds on existing debugger work to add support for a vars command to inspect variable values as the debugger steps through instructions. This is accomplished by instrumenting the AST after parsing with foreign calls to debug methods for tracking assignments and drops. There is an additional pass during monomorphization that collects type info.

The instrumentation approach ensures that variables aren't optimized away so that users can step through program logic with variable names as they appear in the original source code, not only with witness maps and register values.

This patch isn't yet ready to be merged in but is available for feedback.

Here's what it looks like to use, demonstrating a shadowed "a" variable. (Ignore the source pointer bug)

At /home/nthia/dev/manas/noir/tooling/nargo_cli/tests/execution_success/arithmetic_binary_operations/src/main.nr:18:9
 12 ...
 13        let b = a - y; // 6 - 4 = 2
 14        let c = b * z; // 2 * 5 = 10
 15        {
 16            let mut a = 3;
 17            a *= 111;
 18 ->         println(f"a={a}");
 19        }
 20        let d = c / a; // 10 / 6 (This uses field inversion, so we test it by multiplying by `a`)
 21        d * a
 22    }
> vars
z:Field=5, x:Field=3, b:Field=2, a:Field=3, a:Field=6, y:Field=4, c:Field=10

Problem*

This feature is part of #3015 and other related work on the debugger. The instrumentation is also useful for integrating with DAP (sending type and callstack info) and tracking callstack parameters.

Earlier into this feature, I explored mapping variables onto witness map entries and register values, but that approach quickly proved to be much more difficult because optimizations happen at multiple stages of the compiler process that destroy information required to establish mappings, and adding more info would be much more difficult than adding instrumentation instructions. Instrumentation also makes other features easier to add beyond only variable tracking such as tracking call stack parameters.

Summary*

• Adds a vars command to the debugger
• Instruments code with foreign call wrappers in debug mode to track variable state
• Works with shadowing but does not yet work with callstacks.

Additional Context

The double-wrapping in the injected oracles for the debug foreign calls is intentional and without this the compiler complains about All `oracle` methods should be wrapped in an unconstrained fn.

This patch is mostly ready but has a few known issues to work on. I will update this list as they are completed:

• [ ] instrumented AST nodes break source offset tracking
• [ ] ensure debugging instrumentation is only turned on in the debugger and can be turned on/off manually
• [ ] member and index assignment
• [ ] display non-scalar data types (structs, tuples, arrays), reading the appropriate number of fields
• [ ] DebugState can probably be removed from the context instance now, if not removed altogether due to the extra pass added to the monomorphize stage

Future work will add tests for various instrumentation cases and will track variables against the callstack (likely with an additional foreign method). Right now the assignment is flat but it does work properly with shadowing.

Documentation*

Check one:

• [ ] No documentation needed.
• [ ] Documentation included in this PR.
• [ ] [Exceptional Case] Documentation to be submitted in a separate PR.

The documentation for this feature will be added along with the rest of the debugger documentation, as mentioned in #2995.

PR Checklist*

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

[TomAFrench]

Marking this as draft until the remaining TODOs are addressed.

[mverzilli]

@TomAFrench this has now been superceded by https://github.com/noir-lang/noir/pull/4122, which should have also addressed all your comments here.

@ggiraldez mentioning you here in case you weren't aware of this PR.

@nthiad if you see this notification, would you close this PR? :).