fixed stack-overflow due to List.map over rather large list 1M+ elements -- representing an adjacency matrix for dependency graph. sigh.
huge amount of time spent in **printing** labels for vertices while building edges for giant dependency graphs. Now, no labels.
tidying up a bit