Simplify convergence check code

[antonysigma]

• Reuse the reduction domains input_image and output_image to simplify manual Halide scheduling code.
• When LinerizedADMM::iterate() returns the u and z updates, bind them to u_list[i] and z_list[i] directly. Reduce code bloat.