Reports switch statements that do not contain default labels.

Some coding practices may insist on adding this label to all switch statements.