tor-proto: Add support for extending circuits through virtual hops.

Closes #726 (closed).

There are a few new TODO HS entries in this code, but I believe they shouldn't be blockers. I'm pretty pleased with how well our existing code supported this use case TBH; in C tor this was much harder to build.