Computer programs for source to target consistency checking in a data replication environment