Sure they do... at least non-amateur ones do >:-}
Spice models, except for advanced CMOS models _don't_ address failure modes (*). I even have CMOS models that address "hot electron" issues in gates ;-)
(*) Though there are easy-to-implement methods (in non-amateur simulators) to indicate, in the graphical output, that dissipation, SOAR, or whatever have been exceeded.
If done carefully so that the conditions of failure are properly noted. ...Jim Thompson