Slightly neatened DoubleSha256