Mention changes to coercible solving in changelog and migration guide
As pointed out in #22924, there are some user-facing changes to the constraint solver relating to representational equality that landed in 3e827c3f, which I believe deserve at the very least a mention in the release notes and migration guide.