Remove TODO for non-recursive verification algorithm.

This is something that _might_ be needed later. YAGNI.