VaiPhy: aVariationalInferenceBasedAlgorithmfor Phylogeny Appendix