Checking for Insidious Faults in Deployed Federated and Heterogeneous Distributed Systems