Moved .radix251 code to .ed25519 (it is too specific to Ed25519 to be generic)