Remove `circuitDestroyed()' since obfsproxy already informs us about how the
underlying TCP connection was closed.
Get rid of underscore method notation because it is used inconsistently.
Refactor variable names.
Remove ticket when it is about to be redeemed.