A Real-Time Middleware Architecture for Distributed Runtime Verification of Interface Contracts in Collaborative Edge Radar Swarms