Always handle the default case in switch statements

[t-b]

A switch statement should always handle the default case. Either with explicit code if that is expected or an Abort/Assertion if that is not expected.