A Tor library in Java that is concerned with correctness and testability, not speed