MemHunter: Automated and Verifiable Memorization Detection at Dataset-scale in LLMs