Add missing Noreturn qualifiers

This makes the tooling's (such as clang-analyzer) life easier, enables more useful warnings in the compilers (such as for dead code), and may even make the runtime marginally faster.