编写一个C#程序，实现一个支持通配符匹配的正则表达式引擎子集。支持以下规则：

- 模式中的字符 '.' 匹配任意单个字符。
- 模式中的字符 '*' 匹配任意序列（包括零个）的前一个字符。
- 匹配应覆盖整个输入字符串（非部分匹配）。
- 实现函数 bool IsMatch(string s, string p)，其中 s 是输入字符串，p 是包含通配符的模式。

要求：

1. 不得使用任何正则表达式库（如 System.Text.RegularExpressions）。
2. 时间复杂度需优于 O(m * n)，其中 m 和 n 分别为 s 和 p 的长度。
3. 提供完整的单元测试用例，包括边界情况、重复模式、空输入等场景。

示例：
IsMatch("aa", "a") → false
IsMatch("aa", "a*") → true
IsMatch("ab", ".*") → true
IsMatch("aab", "c*a*b") → true
IsMatch("aaa", "aaaa") → false
IsMatch("", ".*") → true
IsMatch("aaa", "a*a") → true
IsMatch("aaa", "ab*a*c*a") → true