Make modular reduction work for large byte sizes

[cronokirby]

Previously, we asserted that the byte slice had the right size. This assumption is invalidated in the actual Penumbra codebase, mainly for extracting field values from a hash function.