Update control spec to allow decorated IPv6 addresses in reachability events

When we add IPv6 ORPort reachability checks, we want them to report decorated addresses (with brackets) to avoid ambiguity.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information