Cache coherence verification tool