DiagnoDating: Diagnostics for dated phylogenies in microbial population genetics | Synapse