Following @martin-cs' suggestion in #1875:

Suggested policy: The only way for normal termination of program execution is via return from main. Abnormal termination is to be handled via the macros provided by invariant.h. Any other use requires explanation and should be explicitly marked as NOLINT.