Auto merge of #115093 - Zalathar:smir-coverage, r=cjgillot,oli-obk

Treat `StatementKind::Coverage` as completely opaque for SMIR purposes

Coverage statements in MIR are heavily tied to internal details of the coverage implementation that are likely to change, and are unlikely to be useful to third-party tools for the foreseeable future.

Author: bors