So like... correct me if I'm wrong

Player at my LGS presents an infinite with the new Thranduil - infinite life, mana, and elf tokens and an infinitely large thranduil. But he's convinced that because the combo is technically deterministic, he can keep circlejerking as long as he wants and delay the game.

I'm reasonably sure there's a few different rules that say he can't do that and wins automatically once he's infinite, unless it's up to the other players to scoop...