check correctness of mincut