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 #24342 (moved), but not all of them.
We should address the rest of them.