Cross-circuit check: C6→C7 — verify C7 uses C6s decrypted shares of honest parties

[0xjei]

this requires a change in the circuit to make d private and pass the commitments along C6->C7

Needs #1488 implemented first.