Paraxial WKB description of short wavelength eigenmodes in a tokamak