Gravar-mail: Test-and-treat coverage and HIV virulence evolution among men who have sex with men