Main: Tied some things together
AST->SSM: exists, but is by far complete (e.g. no MOVE).
Added a codegen test