Can we use CircleCI's Codecov orb?

We could reimplement the logic ourselves, but I'd worry about the semantics of stitching together coverage reports from the parallel test jobs in our workflow.

Instead, we should determine the suitability of the [official Codecov orb](https://circleci.com/orbs/registry/orb/codecov/codecov).