Add MIRSA-backed safety requirement modeling

[990466307]

Summary

• add MIRSA-backed interval, nullability, and pointer-state predicates to the matcher
• extend the parser and matcher for reusable safety-requirement patterns
• add 62 standard-library safety-requirement patterns with path-matched UI tests
• add SafeDrop-style dangling-pointer, double-free, and use-after-free patterns with UI tests
• add three reusable Clippy MIR patterns