SHA-256 and SHA-512 are typechecking and passing test vector(s).