Make infeasibility checks consistent between the main solver and presolver

[rg20]

Description

On the LP benchmark tests, while PDLP and dual simplex stop at a feasible solution, the post solve fails because of infeasibility. This is because of the way the tolerances are handled.

• The presolver uses absolute criteria while the LP solver uses relative criteria. Now, we turn off the absolute criteria for LP problems keep it only for MIP and IP problems
• The default tolerance in the presolver is 1e-6, now we pass the tolerance used by the solver to presolver

Issue

Checklist

• I am familiar with the Contributing Guidelines.
• Testing
  • New or existing tests cover these changes
  • Added tests
  • Created an issue to follow-up
  • [] NA
• Documentation
  • The documentation is up to date with these changes
  • Added new documentation
  • NA

[copy-pr-bot]

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

[rg20]

/ok to test 24a3653

[rg20]

/ok to test f76da6f

[rg20]

/merge