added test for invalid leaf in branch verification