Editor's drafts for russ-feedback branch of davidben/merkle-tree-certs