Added overflow check for manual orderer
Fixed segfault when undoing the first call of a trigger
fixed history tree giving some wrong-history events to time steward
made history tree check for caller giving duplicate distinguishers
Separated simulation code from user input events