Fix terribly annoying bug in warmstart where objective sense changes