epic: point evaluation precompile sound

[obatirou]

What

Implement the Point Evaluation in Cairo to make it sound

EELS uses the optimized version of elliptic curve ops from the py_ecc implementation.
It uses the projective space to define points. Our circuits (and those of Garaga) are defined on the affine space.
The switch "affine <=> projective space" is quite easy so, to re-use our current circuit we will only use the affine space in Cairo, and make the conversion within the serde/args_gen for testing purposes (so only in python).

Context

EIP-4844 Point Evaluation Precompile Specs

The calldata decoding as already been done as part of #180 (merged by #862 )

[Eikix]

TO DO:
1/ create an epic for this feature
2/ create sub-issue + plan
3/ estimate + put in TODO the sub issues