Editor's drafts for proof-explain branch of davidben/merkle-tree-certs