pub fn get_y<G: SWModelParameters>(x: G::BaseField) -> Option<G::BaseField>
returns the y-coordinate if x is a valid point on the curve, otherwise None TODO: what about sign?