test_bintree: complete balance test including height check