Olympic magic cut through the pandemic gloom, but the Tokyo Games’ legacy is complex