Missing check in ClientIVC verifier

[codygunton]

In order for a verifier to be convinced that the operations of the merge protocol are related to the operations of that the translator consumes, it needs to check an an equality of group elements (merge protocol outputs & commitments to four wires in the translator).