Fix SmiTagCheckOverflow to set condition code properly
Flush stdout after each trace print in simulator to prevent incomplete file output on abnormal aborts