Checks a set of phylogenetic trees to confirm they are ultrametric and binary and that tip labels match a list of names.
Useful links