verify merkle branch. BUGGY.