Recursive DFS may overflow the stack on deep graphs unless tail recursion is optimized.