The ARM model now includes an instruction encoder.

Also, expose the function arm_eval in arm_stepLib.