Fix more prop224 spec inconsistencies

inkylatenoth pointed various inconsistencies between spec and code: https://lists.torproject.org/pipermail/tor-dev/2017-October/012527.html

A few of them have been addressed by Filipo in legacy/trac#24342 (moved), but not all of them.

We should address the rest of them.