Lambda_update_fix

Functionality to update lambda to obtain stronger bounds.
"Optimality-based/big-T cutting plane" bug fixed.