Contact Trace Contracts