3-Manifold Topology, with Groups and Randomness