AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification (ArXiv cs.CR Recent Papers, 2026)