Split load utility functions into a separate package.
Return errors from the load functions.
Add an SSA disassembly tool.
Add ssa.Send and ssa.UnOp to automata construction.
Add ssa.If to automata construction.
Add Automata.String.
Remove jump-only states.
Call Instructions p, for prog.
Be consistent, using full names of things.