Generate assert in witness gen code for Statement::ConstraintEquality (when required) #229
Description
Per the last paragraph in https://docs.circom.io/circom-language/code-quality/code-assertion/, the === operator should also generate an assert statement in the witness generation code except with the option --sanity_check 0.