[docs] Update DominatorTree docs to clarify expectations around unreachable blocks