编写一个C#程序，实现一个支持通配符匹配的函数 `IsMatch(string s, string p)`，其中：

- 匹配应支持 `'.'` 和 `'*'`。
- 模式中的 `'.'` 匹配任何一个单个字符。
- 模式中的 `'*'` 可以匹配零个或多个前面的元素（即前一个字符）。
- 整个字符串 `s` 必须完全匹配整个模式 `p` 才算匹配成功。

例如：

- `IsMatch("aa", "a")` → false
- `IsMatch("aa", "a*")` → true
- `IsMatch("ab", ".*")` → true
- `IsMatch("aab", "c*a*b")` → true
- `IsMatch("aaa", "aaaa")` → false
- `IsMatch("aaa", "a.a")` → true
- `IsMatch("aaa", "a*.")` → true

要求：

- 不能使用正则库（如 System.Text.RegularExpressions）。
- 要求使用动态规划或双指针方式实现。
- 代码需具备良好的可读性和健壮性（处理边界情况）。
- 请提供一组测试用例验证你的实现。