Extend the fuzzer to check the debug locations output

The checker only checks for the correctness of the allocation dataflow but not for the debug locations output. Although the correctness of the debug locations output isn’t so critical, I think having it checked will still be a good idea, even if it’s just for testing.

检查现有的 fuzzer checker 及其分配数据流验证，然后追踪调试位置输出是如何生成的。扩展 checker，使其也验证调试位置，并确认 fuzzer 同时检查分配数据流和调试位置。

由索引模型根据 Issue 内容生成。