Harmonic maps on amenable groups and a diffusive lower bound for random walks