Improve circuit for Add and move out of EvalVM