Tweaks.

Faster randomized depth-first traversal color flood, so it takes about the same
duration as the other animations. Clarify comment about tree depth as different
algorithms have different asymptotic depth characteristics.