The Velocity Dispersion Function for Quiescent Galaxies in Nine Strong-lensing Clusters