Speed optimizations #1 in SHA512 kernel.  Added a dev-feeding donation that's easy to tweak.