Fix MBM Implementation.

[dnguyen227]

This PR fixes the MBM implementation to use the tightest M values possible. This means that each disjunct constraint has it's own M value associated with any other disjunct. Originally only disjuncts has corresponding M values. Infeasible and negative M values are also now used to simplify the overall problem upon reformulation (infeasible problems deactivate disjuncts and sets of negative or 0 M values reveal global constraints).

EXAMPLE

Given a disjunction with:

• Y[1]: x <= 2 and x >= 1
• Y[2]: 0 <= x <= 55

When reformulating Y[1]'s constraints with respect to Y[2]'s feasible region (0 ≤ x ≤ 55):

• x <= 2: max(x - 2) → M = 53 (at x = 55)
• x >= 1: max(1 - x) → M = 1 (at x = 0)

Before (max M of possible constraints):
x - 53·Y[2] <= 2
x + 53·Y[2] >= 1 ← Both use M = max(53, 1) = 53

After (per-constraint):
x - 53·Y[2] <= 2 ← Uses its own M = 53
x + 1·Y[2] >= 1 ← Uses its own M = 1 (tighter)

The code is largely the same. The change made is maximum(_maximize_M(...)) is now just _maximize_M(...), and order of for loops was adjusted to reflect this.

Relevant tests were added to check for these unique M values in addition to verbose comments.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.36%. Comparing base (3f167c0) to head (4242a9d).

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #132      +/-   ##
==========================================
+ Coverage   99.35%   99.36%   +0.01%     
==========================================
  Files          17       17              
  Lines        1858     1901      +43     
==========================================
+ Hits         1846     1889      +43     
  Misses         12       12              

☔ View full report in Codecov by Sentry.
📢 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.

[dnguyen227]

Now storing M values for vector constraints as vectors to reflect unique values in each of rows.