Towards Reliable Forgetting: A Survey on Machine Unlearning Verification