Add exhaustiveness checking for pattern case statements

[MikePopoloski]

Similarly to regular case statements, pattern matching case statements should also check exhaustiveness during data flow analysis. This problem is much more difficult to solve than just the wildcard integer case though.