Moved sign_edwards25519sha512batch to libsodium-sys