Tests for the is_well_formed method (generate negative tests cases by just addign 1 to the Y coord, etc)
Whether to use is_well_formed to check curve points on read? (since it will generally be faster) (remembering that we should also have a flag for this)
Whether to use a generic equation-checking function in the main body? (in fact some implementations of is_well_formed may be able to reuse it)
See: thread https://github.com/clearmatics/libff/pull/68#discussion_r850448834
More specification, as mentioned by @dtebbs in https://github.com/clearmatics/libff/pull/68#discussion_r860972944, we need to:
is_well_formedto check curve points on read? (since it will generally be faster) (remembering that we should also have a flag for this)