pub fn words_to_bytes_be(words: &[u32; 8]) -> [u8; 32]
Utility method for converting u32 words to bytes in big endian.