README: formatting, some small additions

  - Refilled long lines at column 96 for better readability

  - Added some comments emphasizing purpose of the statically-typed
    protocol, and a note referencing the structure-test code.