[protocol spec] 4.17.2 (Spend statement): cm^old is not an auxiliary input

[daira]

It's computed from other inputs.

[daira]

Also Appendix A.4 says that $\mathsf{nk}$ needs to be on the curve, when it is already checked to be $[\mathsf{nsk}] \mathcal{H}$.

[daira]

The same issue applies to the Orchard Action statement I think.