This change is directed at this TODO:
// TODO: While this recursion limit does prevent pathological behavior, it would be better to track visited instructions to avoid cycles.
These changes are intended to replace recursion with a loop in "dominatesMergePoint". After the replacement, the deprecated option remained, which was also removed.
clang-format: please reformat the code