Statistically optimize mysql-test runs by running less tests - Pablo E.