Draft of entanglement implementation.

Extremely slow
Fixed a few bugs and added the game encoding nodeadlock for one place buffer.

* Fix computation of entanglement, we invalidated an iterator that we were
  looping over by erasing elements.
* Fix computation of number of BFS levels and SCC quotient height.