Modifies CI to run on every push, not just pushes to main and pull requests. This is not strictly necessary for coverage, but it was useful for testing and seems like a good idea.
Runs coverage in CI.
Uploads results to CodeCov.
Shows testing and coverage badges on README.md. (Visualize here).
Automatic and manual coverage commands.