Recent progress on random walk in groups