Tests for Ed25519FieldElement.java, one bug fix.