fasserts and invariant failures currently log a message to the default log level before terminating; finding these messages in log files requires doing regex searches.

It'd be easier to keep track of these failures if they were logged with severe().