Match generator updates and API changes

SSA Variables and new graph api

* Support SSARegisters, SSAVariables, and Variables in the grapher
* Support SSAVariables in the match generator
* Update to use newly fixed graph display api