Privacy-preserving verification of preprocessing in federated learning for genomic data | Synapse