编写一个C#程序，实现一个支持通配符匹配的函数，用于判断给定的字符串是否匹配指定模式。模式中支持以下规则：

- 字符 `?` 匹配任意单个字符。
- 字符 `*` 匹配任意字符序列（包括空序列）。
- 模式字符串中的其他字符必须严格匹配。

函数签名如下：

```csharp
bool IsMatch(string input, string pattern);
```

要求：

1. 实现该函数，确保时间效率足够高，能处理较长的输入字符串（长度 ≤ 3000）。
2. 不能使用正则表达式（Regex）库或其他内置通配符匹配功能。
3. 提供单元测试用例，验证边界条件和典型场景。

示例：

```csharp
IsMatch("aa", "a") // false
IsMatch("aa", "*") // true
IsMatch("cb", "?a") // false
IsMatch("abcdef", "a*f") // true
IsMatch("abc", "a*?c") // true
IsMatch("abcd", "a*?c") // false
```