Analysers and Code Fix

Please use the `VerifyCSharpHasNoDiagnostics` method when there is no diagnostic, it reads better.