Increase the strictness in the SuiteB SHA padding function.
Increase the strictness in the SuiteB SHA padding function.

With the lazier join operator, this squashes a space leak in examples that
do a lot of hashing.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol