Add graph display.
Static tree resolver failure.

- Needs real backjumping.
- Needs tree morphing based on version selected.
Set up tree-replacing.

- Need to add dependency lookups in the resolver now.
Add dynamic tree lookups on activation.

- Need to fix backjumping.
Add savestate for backjumping.

- Add full stack copies for restoring state.
- Add label for jumping out of loops rather than lots of temp vars.
Rewrite resolver.

- Needs backjumps.
Add activation conflict detection.

- Add filters to filter out versions in an efficient way.
Have conflict resolution flow in a good spot.
Complete first version of working algorithm.

- Create many many cleanup todos for the next version.