Pass of Prio3

* Update motivating example for FLP truncation (current example is out
  of date).

* Move FLP parameter table to the bottom of the section.

* Add `PROOFS` to VDAF parameter table.

* Move prose explanations of sharding, preparation to before the code
  listings.