Add SSA interpreter for debugging

[jfecher]

Problem

Often when there is an SSA bug which changes the output of a program, it is a bug that originates form one pass. To find which pass though, the developer must comb through the SSA dump of every pass in order until they find the one that changes the output. This can be difficult if the program is large or even just a medium size.

Happy Case

We add a debug interpreter for SSA programs which can be run on the result of every SSA pass and flag any for which the result changes on.

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response