added 1-arg prox option to admm
termination checks