Fix printing of 64-bit smi's in simulator.
Fix simulation bugs to LMG, SLLG and AGR.