Restorative commit.
Dominator tree algorithm... untested.
Added DFS null checks, and tree preorder and test.