MISProblem: Add weight validation to ensure that QUBO describes an MIS problem

[phstratmann]

In MIS, we need to ensure that w_off <= 2*w_diag. Otherwise, adding a node with a violation would decrease the overall cost of the problem.