8.10 Release notes for improvements to the pattern-match checker

A little late to the game, but better late than never.

@bgamari, I hope this isn't too much of a headache to merge into the release...