Gravar-mail: Validation of Bacterial Replication Termination Models Using Simulation of Genomic Mutations