Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems