Mention changes to coercible solving in changelog and migration guide

As pointed out in #22924 (closed), 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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information