Iterative deepening search?

[mlb2251]

This would allow us constant memory (which may significantly improve runtime as well). I'm not certain if it's compatible with the upper bound based search, is it? Would it maintain all our guarantees?