This PR sets up a tier 2 partial evaluation pass' foundations. It does the following:

1. Introduce binding-time analysis of instructions and locals.
2. Virtualized stack values (This was why we need a local slot now to indicate if the stack value is virtualized).
3. A new abstract interpreter -- one for partial evaluation.
4. Symbolic stack reification -- reconstructing the stack when we need to/hit a non-static instruction.
5. It removes most pure annotations -- we need to reimplement those in the partial evaluator for every one we introduce. Otherwise it will do arbitrary optimizations on them.

As a litmus test, it does simple dead store elimination by tracking locals. For example, the code x = x is now optimized to a nop.

This PR does not yet have full shadow stack reconstruction on side-exits. Because that first requires a principled design of side-exits. Thus after this PR lands, that needs to be worked on.

• Issue: Add tier 2 partial evaluation pass. #120619