Changed SMI tag checking to SmiTagCheckOverflow/BranchOnOverflow.