treecheck function

Checks a set of phylogenetic trees to confirm they are ultrametric and binary.