test whether point is actually on the curve when evaluating elliptic-curve isomorphism

test whether point is actually on the curve when evaluating elliptic-curve isomorphism #4573