Significant improvements for highspy static typing

[mathgeekcoder]

• Significant improvements for highspy static typing
• Fixed issues with examples and tests (found by pyright and mypy)
• Added more tests to improve coverage of highspy
• Fixed missing Iis details

No real functionality changes, however added some helper functions for improved type safety, for example:

X = h.addVariables(2,3) # X is HighspyArray with 2 dimensions

# X.idx() returns 1-dimensional integer array with all variable indices
h.changeColsBounds(6, X.idx(), np.zeros(6), np.repeat(1, 6))  # change bounds 0 <= x <= 1

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.30%. Comparing base (073b504) to head (957ff56).
⚠️ Report is 22 commits behind head on latest.

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #2983      +/-   ##
==========================================
+ Coverage   81.29%   81.30%   +0.01%     
==========================================
  Files         358      359       +1     
  Lines       88753    88767      +14     
==========================================
+ Hits        72151    72174      +23     
+ Misses      16602    16593       -9     

☔ 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.

[galabovaa]

Looks good to me!