check that solvers ignore infeasible solutions provided by heuristics

This test passes for gurobi but fails for cplex. We're not even providing a full solution, so seems like bad behavior for cplex to complete the solution into something infeasible.