priority_queue: comment out deep copy (#15)