Migrate S2583/S2589 to the new Symbolic Execution engine (C#)

[mary-georgiou-sonarsource]

Migrate ConditionEvaluatesToConstant to the new SE engine.

Split the work up to the following PRs:

• Scaffold the rule
  • Prepare empty rule with ShouldExecute false (do the scaffolding for both C# and VB.NET)
  • Prepare tests and test cases - mark old Noncompliant as FIXME Non-compliant (for C# only)
  • Do not register in SymbolicExecutionRunner (yet)
• Implementation (C# only)
  • Implement basic version of S2589 (checking if condition evaluations to constant)
  • Implement issue messages
  • Implement S2583 (checking not-reachable code-block)
  • Fix: Don't raise in constants
  • Fix: ConditionEvaluated is not being called when directly followed by a throw - this is raising FPs because conditions are evaluated as only true or only false.
  • Investigate FP issues with switch statements.
• Finish the C# rule
  • Implement ShouldExecute (C# only)