High-Dimensional Importance-Weighted Information Criteria: Theory and Optimality