Unpin `highs` version

[alexdewar]

The highs dependency is currently pinned to 2.3.0, because 2.4.0 increases the minimum version of highs-sys and this seemingly leads to different results on different platforms (#1174).

Once we've fixed #1174, we should unpin highs again.