NCC audit: Propagate \bot from the inputs of MerkleCRH^Orchard to its output, and add an explicit consensus rule that rt^Orchard computed from appending a note commitment is not \bot.
NCC audit: Propagate \bot from the inputs of MerkleCRH^Orchard to its output, and add an explicit
consensus rule that rt^Orchard computed from appending a note commitment is not \bot.

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

zcash/zips,zcash/zips,zcash/zips,zcash/zips