Working Hopcroft and Karp maximum bipartite matching algorithm in
O(N^2.5). Tarjans SCC algotithm adapted from wiki.
Added RESYN's filtering, rebuilding alldiffs. No propagation mechanism
implemented yet.