Rough 64-bit (JVM) implementation of Sha512C compress method