Get at the length field of sha-512

This lets us take the hash of old-world strings with a bunch of trailing
zero bytes.