Simplify iterate_norms and reprove termination.