fixed a bunch of bugs in maxmatching, still monotonicity errors though