Added some experimental stuff to implement random maximum matchings.