Lessons from the Cruise Robotaxi Pedestrian Dragging Mishap