cycle_group(field_t _x, field_t _y, bool_t is_infinity) should check the new point is on curve

[maramihali]

However, this makes the acir schnorr test fail because it provided a (0,0) public key, not set to point at infinity, that should never be the case. Investigate this and enable the assert