Verify that WordNet Digraph is a rooted DAG.