manual dims must be excluded when computing the new tile assignment, or
manual dims must be excluded when computing the new tile assignment, or
num_new_tiles will always be > NumTiles() + 1 and sharding propagation will
infinitely reassign the same partial manual shardings.
