Email Record: Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie