stabilized sqp: assert max_iter_ls > 0