The assert does not produce a constraint, it just stops witness
generation. So an adversarial prover could remove the assert line and
generate an invalid proof that the verifier would accept.

Also, simplify the sourceValue === claimedValue line by removing the
IsZero circuit.

Was passing a single signal to compconstant where it required a 254 bit
binary decomposition.

This reverts commit c5ac5ac.