Update the CRISP circuit to include the ciphertext addition evaluation and apply the new bound computations. The core logic will be adapted and migrated from [noir-lab/crates/crisp/src/ciphertext_addition.nr](https://github.com/cedoor/noir-lab/blob/main/crates/crisp/src/ciphertext_addition.nr).
Update the CRISP circuit to include the ciphertext addition evaluation and apply the new bound computations.
The core logic will be adapted and migrated from noir-lab/crates/crisp/src/ciphertext_addition.nr.