Text this: Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic