feat: Verify Noir circuits

[feltroidprime]

Write a verifier in python for Honk proofs based on this repo : https://github.com/Maddiaa0/honk-verifier/tree/master

how to :
- use garaga's python classes : [PyFelt](https://github.com/keep-starknet-strange/garaga/blob/ 07ad865/src/algebra.py#L5) for modular arithmetic operations.
- use / add (if needed) Elliptic curves information and constants from definitions.py
- write the verifier in a single python file under src/precompiled_circuits/honk.py.
- Do not write a ModuloCircuit class (this will be done later), only the verifier inside a function.
- You can copy paste and re-use the code here for EC scalar multiplication https://github.com/feltroidprime/zk-ecip-py/blob/main/src/curve.py when the solidity is using the ECMul/EcADD precompile
- You can use the gnark CLI backend when the solidity is using the EcPairing precompile
- add some python functions to parse and map the honk proof into a proper python dataclass inside honk.py
- write a similar test than in the honk-verifier repo inside the if __name__ == "__main__": part of the honk.py file.
- write clear code with type hints

Done.

Next task : Write a cairo implementation.
Requires #112

[feltroidprime]

Looking for a contributor