Make ComparisonInstruction a child of ControlInstruction

Cleans up some code.
Misc cleanup of unused code
WIP: Construct instruction vector in one go

The basic idea is to greedily take the next instruction that occurs in
time.