Reports switch statements that do not contain default labels.

Adding the default label guarantees that all possible scenarios are covered, and it becomes easier to make assumptions about the current state of the program.

Note that by default, the inspection does not report switch statements over enumeration types if all cases are covered. Use the Ignore if all cases of an enum type are covered option if you want to change this behavior.