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

- 字符 `?` 可以匹配任意单个字符；
- 字符 `*` 可以匹配任意内容（包括零个或多个任意字符）；
- 字符串起始和结束无需使用 `^` 和 `$` 显式锚定；
- 匹配必须是全字符串匹配，即整个输入字符串必须匹配整个模式。

例如：

```
IsMatch("ab", "a?") == true
IsMatch("abc", "a*") == true
IsMatch("abc", "a?c") == true
IsMatch("acd", "ab*c") == false
IsMatch("aab", "c*a*b") == false
```

要求：
- 不得使用 .NET 中的正则表达式类（如 `Regex`）；
- 实现时间复杂度尽量优；
- 给出完整的函数签名和实现。