SMS: Autonomous NextG System Vulnerability Detection From Protocol Verification to Runtime Validation