See https://openfhe.discourse.group/t/bug-report-bfv-evaladd-produces-incorrect-results-when-ciphertexts-have-mismatched-dcrtpoly-formats-evaluation-vs-coefficient/2304 for more details
