Equivalence of Operator and Fourier Definitions of the Semiclassical Wavefront Set