get descriptive status from tree verification functions & write tests for it