Fix updating of blocks in the bisimulation algorithm.

For strong bisimulation self-loops need to be taken into account, otherwise
invalid quotients are produced.
Revert incorrect change in bisimulation quotienting.
Add experimental implementation of forced-move identifying bisimulation.