add assert_is_on_curve

[ClementWalter]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 56.75676% with 48 lines in your changes missing coverage. Please review.

Project coverage is 66.23%. Comparing base (7321d91) to head (056f6f6).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...iro-ec/src/cairo_ec/circuits/ec_ops_compiled.cairo	48.93%	48 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #693      +/-   ##
==========================================
+ Coverage   66.21%   66.23%   +0.02%     
==========================================
  Files          88       88              
  Lines       20493    20541      +48     
==========================================
+ Hits        13570    13606      +36     
- Misses       6923     6935      +12     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.