Sequence verification of synthetic DNA by assembly of sequencing reads