Private-Yet-Verifiable Contact Tracing