Проблема исправлена в версии Tor 7.0.9, выпущенной в пятницу, 3 ноября.