PQ3 (graph min cuts) seems to be working.
Correct (5/5) version of Karger's algorithm (PQ3).