Clean repo, remove cairo prover and update readme

[diegokingston]

TITLE

Description

Description of the pull request changes and motivation.

Type of change

Please delete options that are not relevant.

• New feature
• Bug fix
• Optimization

Checklist

• Linked to Github Issue
• Unit tests added
• This change requires new documentation.
  • Documentation has been added/updated.
• This change is an Optimization
  • Benchmarks added/run

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.73%. Comparing base (a591186) to head (2c60295).

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #920      +/-   ##
==========================================
- Coverage   73.36%   70.73%   -2.64%     
==========================================
  Files         155      142      -13     
  Lines       35611    30931    -4680     
==========================================
- Hits        26127    21878    -4249     
+ Misses       9484     9053     -431     

Flag	Coverage Δ
	70.73% <ø> (-2.64%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

[pablodeymo]

LGTM