The precedent for 9 did change. Republicans changed it to 8 justices in 2016, and then back to 9 again in 2017 because it suited them politically. I don't see why Democrats should be shy about changing the number of justices this point.