added assertion that number of taxa in supermatrix mst match number of
taxa in usertree. With the orchid example, this was not the case because
Seegeriella pinifolia did not end up in the user tree!