Change the statement of Theorem 5.4.3 to exclude ⊥ outputs from SinsemillaHashToPoint. Previously the proof did not match the statement.
Change the statement of Theorem 5.4.3 to exclude ⊥ outputs from SinsemillaHashToPoint.
Previously the proof did not match the statement.

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

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