Test that SHA512 returns a vector