Incompatibility between highspy and or-tools

**What version of OR-Tools and what language are you using?**
Version: ortools==9.14.6206 from PyPI
Language: Python

**Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)**

None.

**What operating system (Linux, Windows, ...) and version?**

Linux, GitHub CI Ubuntu and ArchLinux

**What did you do?**

1. Install CVXPY with its default solvers (including the `highspy` package)
2. import CVXPY (or just highs)
3. Solve a problem in CVXPY with GLOP or PDLP from OR Tools (or call them directly)

```
uv run --no-project --python 3.12 \
--with 'ortools==9.14.6206' \
--with 'highspy==1.15.1' \
python -c 'import highspy; from ortools.linear_solver import pywraplp; print(pywraplp.Solver.CreateSolver("GLOP"))'
```

**What did you expect to see**

Successful creation of the solver.

**What did you see instead?**

```
ImportError: /home/ptnobel/.cache/uv/archive-v0/Fu73w6zBZdQnl2ZR/lib/python3.12/site-packages/ortools/linear_solver/../../ortools/.libs/libortools.so.9: undefined symbol: _Z19setLocalOptionValueRK15HighsLogOptionsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERS_RSt6vectorIP12OptionRecordSaISD_EES7_
```

Make sure you include information that can help us debug (full error message, model Proto).

**Anything else we should know about your project / environment**

This issue affects all `cvxpy` + or-tools users since the latest HIGHS release.

My best attempt at a diagnosis is that OR Tools's bundled HIGHS has a symbol conflict with HIGHS from HIGHSpy. One fix I want to do on the CVXPY side is stop eagerly loading libraries, but we would like to allow users to switch solvers easily etc. and so we would appreciate if our dependencies can be simultaneously imported (which we do in CI for example, and we have explicit methods designed to fall through to other solvers when one fails that rely on the ability to simultaneously import, etc.).

--- PTN, CVXPY Maintainer

CC: @jahall @galabovaa