Add the SwitchWithoutDefault diagnostic based on Roslyn