Irredundant $k$-Fold Cross-Validation