The power of averaging at two consecutive time steps: Proof of a mixing conjecture by Aldous and Fill