Reduce the number of proper tests in Travis. It times out.