Beginnings of reachability analysis. Bit hacky, not working yet.
Oops, immediate operands are signed! That affects branching, sure.

This generates better-looking code, but that code doesn't compile.
Need to figure out how to get error messages for generated code.

Also going to need to keep a set of which addresses have been parsed,
so we don't just keep parsing the same stuff over and over.