[FEA] Generalize bound strengthening to handle infinite bounds

[chris-maes]

Remove special case code in barrier for free variables and MIP for variable upper/lower bounds that are essentially bound strengthening but with tracking of infinite bounds.