Trivial IR implementation (extract instructions into a block, then compile out of that).

Has issues with replacements.