Support all Debug.Assert(...) overloads in flow analysis

[buyaa-n]

Fixes #5403

Flow analysis doesn't support Debug.Assert(bool, string? message) or any other overload except Debug.Assert(bool):

void M1()
{
    Debug.Assert(OperatingSystem.IsWindows(), "Only supported on windows");
    WindowsOnly(); // warns even not supposed to

    Debug.Assert(OperatingSystem.IsWindows());
    WindowsOnly(); // not warn
}

[SupportedOSPlatform("windows")]
void WindwosOnly () { }

I believe all overloads of Debug.Assert(...) should be supported cc @mavasani

[codecov]

Codecov Report

Merging #5764 (18615e0) into main (8cc85d9) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main    #5764      +/-   ##
==========================================
+ Coverage   95.56%   95.57%   +0.01%     
==========================================
  Files        1281     1283       +2     
  Lines      296017   296777     +760     
  Branches    18050    18096      +46     
==========================================
+ Hits       282874   283658     +784     
+ Misses      10709    10667      -42     
- Partials     2434     2452      +18     

[buyaa-n]

Perf failure unrelated, filed an issue, mergin the PR

[MartyIX]

/// <returns>True if the method is an overload of the <see cref="Debug.Assert(bool)"/> method.</returns> :)