Optimize ciphertext addition circuit

Refactor and optimize the ciphertext addition circuit to reduce constraints, proving time, and memory, applying the same techniques used in [#911](https://github.com/gnosisguild/enclave/pull/911)￼ for Greco.

Related: https://github.com/gnosisguild/enclave/pull/912#discussion_r2478217152