dawuud:
In fact, the network is *very* partitioned... but as of the past few months I haven't put any energy into proving this; although I do have some mostly finished twisted python code to make all two hop tor circuits and records circuit build failures and circuit build timeouts.
teor has a script [1] for this as well (and I'm also interested in this rather important question: How far are we from a complete mesh?)