Fix timestamps to be unsigned.
Make eval take a destination parameter.
Dike out useless opcodes.
Add unconditional delay for terminate-scheduler.
