tests; wrote some more tests for partial tree verification