Added note about pattern exhaustiveness checker

Thanks puffnfresh!