Rethinking Runtime Verification on Hundreds of Cores: Challenges and Opportunities