Fix sha512 tests