Unique solvability for high-frequency heterogeneous time-harmonic Maxwell equations via Fredholm alternative theory