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

- '.' 匹配任意单个字符
- '*' 匹配任意前面的字符序列（包括空字符序列）
- 匹配应覆盖整个输入字符串（非部分匹配）

函数签名如下：

```csharp
bool IsMatch(string text, string pattern)
```

例如：

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

要求：
1. 不使用任何正则表达式库函数。
2. 时间复杂度尽量优化，不能暴力穷举所有可能性。
3. 考虑动态规划或回溯优化策略。

请实现该函数并写出测试用例验证逻辑。