Add the noreturn attribute on the assert functions to aid static analysis, improve...