feat: handle input arguments and return value of Cairo programs

[zmalatrax]

Cairo functions (even main) can have input arguments and a return value.
Add required logic to parse them, assert them to the memory and validate the types(?).

[renzobanegass]

Hi, is this open for contribution? I'm interested in taking the issue.

[onlydustapp]

Hey @renzobanegass!
Thanks for showing interest.
We've created an application for you to contribute to Kakarot zkEVM.
Go check it out on OnlyDust!

[zmalatrax]

Hi sorry, this issue is not open.

But there are hints to be implemented, your contribution would gladly be appreciated :)