Some cleanups

Propagate newly created bounds in LinArSolve.
After creating cuts, call checkpoint again (to propagate bounds on new cuts).
Remove propagation from CutCreator.

The tightness reworked.  We now create simpler branches if we are not tight
enough for cuts.

Fix bug for LIRA: normalize coeff to 1 for real entry in first loop instead
of after it.