cargo-verify (cargo): Prettier error messages for the verified crate.
Keywords: dependent|type-level|verify|verifiable|types