Active Digital Twin Verification for Robust Federated Learning in IoT Intrusion Detection