Autonomous vehicles were supposed to cut traffic—what if they don't?