AArray: changed the type of Key to size_t.
AArray: added a method for printing the structure.
cmd: use Tarjan's SCC algo to mark cyclic vertices and edges.
cmd: removed the old cycle detection algorithm.