Merge "Export headers for libverity_tree"