Constant amcl::sha3::HASH512

pub const HASH512: usize = 64;