design.md: edits from Frisby's review#55

nfrisby wants to merge 1 commit intomaintweag/cardano-conformance-testing-of-consensus:mainfrom

nfrisby/design.md-review-1tweag/cardano-conformance-testing-of-consensus:nfrisby/design.md-review-1Copy head branch name to clipboard