pub fn run_memory_verification() -> VerificationResults
Public interface for running memory verification