Verilog implementation of the SHA-512 hash function.