Provable Probabilistic Imaging using Score-Based Generative Priors