Scalable Stochastic Reachability: Theory, Computation, and Control