Running a real wide refactor (Note.body -> Note.text) surfaced two things the
expand-migrate-contract text left implicit: a test reading the old field is a
call site that must migrate before contract, and expand only stays green if
tests assert behaviour not object shape (tdd's rule) — prefactor first.

version 0.8.3 -> 0.8.4.