Improve circuit for Sub and move out of EvalVM/GenVM