KAM Theory and Semiclassical Approximations to Eigenfunctions