Implement tree validation

[pawel-czyz]

As Xiang has noticed:

We may also want to add functions to check if the trees contain the following cases
A -> B -> B
B <- A -> B
because TreeMHN does not allow repeated mutations in the same lineage or identical siblings.