verify: better output
Compute reflexive-transitive closure in all algorithms

Easier code and not exactly hard to transform back to non-reflexive
closure
Fix Floyd-Warshall