Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications