add WellKnownDiagnosticTags.Unnecessary to SimplifyRedundantBooleanComparisons

and format code