[spec] A case statement can end with `noreturn` expression evaluation

[ntrel]

The docs mention throw and assert(0), but those both have type noreturn. A case statement can end with evaluating an expression statement of type noreturn, even if it is not the last case/default label in a switch. E.g. C abort(). The docs should say so.

PR incoming.