tests for modifying bounds on binaries

This passes for Gurobi, CPLEX, and Mosek, fails for GLPK and Cbc.