More specs
O(1) isComplete function
use dfs for isCyclic
general internal tools doc