Gravar-mail: Universal probabilistic programming offers a powerful approach to statistical phylogenetics