Check consistency of nf and cm for VPs in PartialTransaction::verify

[XuyangSong]

We must guarantee that all VPs in the partial transaction take the same notes from the action circuits as inputs.

We can explicitly check the consistency of nf for spend_note and cm for output_note since nf and cm are public inputs in the circuits.