[SMTChecker] Rename SMTChecker to SolCMC (Solidity compiler model checker)

[blishko]

The module known as SMTChecker has evolved from a simple BMC-like approach to a proper model checker. It would be good to reflect the current status in the module's name.
Moreover, a paper about the module has already been published where the new name, SolCMC has already been used.
A new breaking release is a good time to update the name.

[furmak331]

I've completed the renaming of SMTChecker to SolCMC across the codebase and documentation, as per the issue description. All references in source files, documentation (including Changelog.md), and relevant test files have been updated.

The build runs successfully after the changes.

I've opened a pull request with these changes here: #16016

[blishko]

This depends on #15874, so I'll mark this breaking change as well.