Verification of Distributed Epistemic Gossip Protocols