OP_CODESEPARATOR has been disabled, and no longer affects signature hashes.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>

protocol/protocol.tex

@@ -3151,6 +3151,12 @@ as its $\scriptPubKey$.
 \end{pnotes}
 
 
+\nsubsection{Changes to the Script System} \label{scripts}
+
+The \ScriptOP{CODESEPARATOR} opcode has been disabled. This opcode also no longer
+affects the calculation of signature hashes.
+
+
 \nsubsection{Bitcoin Improvement Proposals} \label{bips}
 
 In general, Bitcoin Improvement Proposals (BIPs) do not apply to \Zcash unless
@@ -3629,6 +3635,8 @@ The errors in the proof of Ledger Indistinguishability mentioned in
 \begin{itemize}
     \item Specify the lead bytes for \transparent P2SH and P2PKH addresses.
     \item Add a section on which BIPs apply to \Zcash.
+    \item Specify that \ScriptOP{CODESEPARATOR} has been disabled, and
+          no longer affects signature hashes.
     \item Change the representation type of $\vpubOldField$ and $\vpubNewField$
           to \type{uint64\_t}. (This is not a consensus change because the type of
           $\vpubOld$ and $\vpubNew$ was already specified to be $\range{0}{\MAXMONEY}$;