Simple exhaustive checking for Go switch statements.