Replace "reduce mod p" with Tanja's suggestion.

Reject inputs in the range [2^255-19,2^255-1]