Continue with "ToDo" list outlined in HighsRun.md.
- Move infinite cost records from HighsLpMods to HighsLpReformulation and action (un)do in Highs::(un)doReformulation
- Move relaxation records from HighsLpMods to HighsLpReformulation and action (un)do in Highs::(un)doReformulation
- Move semi-variable reformulation records from HighsLpMods to HighsLpReformulation and action (un)do in Highs::(un)doReformulation