Editor's drafts for clarify-verification branch of davidben/merkle-tree-certs