See o1-labs/proof-systems#2504 for more context.

Tasks:

• Publish on codecov
• Integrate with CI on nightly
• Add different targets in the Makefile to test with coverage and without coverage
• Add documentation to run, use and read code coverage data