Dustin and i were chatting, and we think this is great. However, there is a concern we have about how this may be perceived to be "heavy handed". Specifically, i can see different sets of users finding different types of value in this. Some people just want to know "am i missing any case labels?" some want to know "do i always have a default?" and some want to know both.
I think it might be valuable to have the following:
there should be different diagnostics for if there are just missing labels or just missing a default.