Lesson 12 — Differential fuzzing & execution-spec-tests — the consensus correctness toolkit