[SV] Replace assert/assume/cover with Verif dialect ops

Replace the assert, assume, and cover ops currently present in the SV dialect, in immediate and concurrent forms, with the corresonding ops in the Verif dialect. The Verif ops might need additional features to fully cover what SV currently covers, which would be a desirable addition. Specifically, labels and formatted messages are missing right now. We might want to have a `verif.format_message` op or similar to provide a formatted message to assert, assume, or cover, such that those ops don't have to redundantly encode string interpolation.

This came up in #5256.

Start by reading the SV dialect's immediate and concurrent assert, assume, and cover operations alongside their corresponding Verif dialect operations, then review issue #5256 for context. Determine how labels and formatted messages are represented, including whether a verif.format_message operation is needed; done means all SV forms are replaced without losing current capabilities.

Written by the indexing model from the issue text.