Towards Probabilistic Verification of Machine Unlearning