Implemented annotations for several instructions

Also implemented detection of unexpected end of program.
Removed unnecessary argument of run() method

...in simulator.