Removes argument from HLT instruction in spec.
There is no use for it.
Implement more instruction unit tests.