Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision