convert Tarjan algorithms to iterative structure (#59143)

This ensures that we do not use too much stack space.

Conversion implemented by Claude.

Author: vtjnash