added stochastic test to ensure that the tree-equality check is working...

added stochastic test to ensure that the tree-equality check is working correctly; and apparently it can return equality when none exists, this is a bug we need to fix