merkle branch verification is now functional.