Gravar-mail: Sequence verification of synthetic DNA by assembly of sequencing reads