(untested) Insert a placeholder (terminal) instruction where disasembly fails
Add blockify pass
Move state data into another structure
Warning cleanup