Format test. Add assertion to Sha512C.