Proposed change: Avoid the duplication of code in kani-cov by extracting commonly shared data structures like CheckStatus into a separate crate, and force kani-cov and whichever modules (e.g., postprocessing) that require it in kani-driver to consume it instead.

Motivation: We're introducing some code duplication in #3121 and we should figure out the best way to share these data structures.