Editor's drafts for unify-consistency branch of davidben/merkle-tree-certs