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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information