Rényi-Mixing and Functional Limit Theorems for Martingales