toplev: Test slm model
toplev: reenable event assert
toplev: Handle div by zero in TSX model