More precise definition of chunks
More precise definition of chunks

Use `padding` directly in the definition of `chunks`, giving an aligned
value to the division.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol