An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond