pub fn test_append_empty_impl(leaves: Vec<HashValue>)