Prevent dual ray calculation when using `HiGHS`

[odow]

I’ve opened an issue for a feature request in HiGHS.jl: Add option to turn off certificates · Issue #273 · jump-dev/HiGHS.jl · GitHub