Currently we are defining the `sha512::Hash` type manually instead of using the `hash_type` macro. The generated code using the macro is identical to that without it (although I didn't actually look at the generated code :)