Add extra safety net for relaxing out bounds

[Opt-Mucca]

This fixes the bug presented in #3190

What I think the problem is: A bug was fixed in #3149 to stop conflict analysis dropping an explanation that would've invalidated the conflict. This somehow has lead to the chain of conflicts exhausting itself, and having no guards against it stuff gets a bit funny when a -1 index appears. My change just returns false when this happens.

[codecov]

Codecov Report

❌ Patch coverage is 61.90476% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 72.92%. Comparing base (187c624) to head (44798cd).
⚠️ Report is 127 commits behind head on latest.

Files with missing lines	Patch %	Lines
highs/mip/HighsDomain.cpp	50.00%	8 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3196      +/-   ##
==========================================
- Coverage   72.92%   72.92%   -0.01%     
==========================================
  Files         436      436              
  Lines      106038   106087      +49     
  Branches    17071    17077       +6     
==========================================
+ Hits        77329    77364      +35     
- Misses      28433    28447      +14     
  Partials      276      276              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[fwesselm]

Thank you, @Opt-Mucca, the changes are fine. Would it make sense to have a method for this? See here.

[Opt-Mucca]

@fwesselm I'm not sure whether the others can trigger, but I very much like having a function for this, and it's way safer than the existing assert! I'm super happy if you swap this PR for your changes.

[fwesselm]

@fwesselm I'm not sure whether the others can trigger, but I very much like having a function for this, and it's way safer than the existing assert! I'm super happy if you swap this PR for your changes.

@Opt-Mucca, I could just pull my branch into this one, if that is OK for you.

[Opt-Mucca]

@fwesselm sounds good!