Semiclassical second microlocal propagation of regularity and integrable systems