[step:Reduce the semiclassical operator to a standard quantization by dilation]For $h \in (0,h_0]$, define the unitary dilation $U_h: L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$ by
\begin{align*}
(U_h v)(x) = h^{-n/4}v(h^{-1/2}x).
\end{align*}
Its inverse is given by
\begin{align*}
(U_h^{-1}u)(X) = h^{n/4}u(h^{1/2}X).
\end{align*}
For fixed $h$, define the rescaled symbol $b_h \in C^\infty(\mathbb{R}^n_X\times\mathbb{R}^n_\Xi)$ by
\begin{align*}
b_h(X,\Xi) = a(h^{1/2}X,h^{1/2}\Xi;h).
\end{align*}
We claim that
\begin{align*}
U_h^{-1}\operatorname{Op}_h(a)U_h = \operatorname{Op}_1(b_h),
\end{align*}
where
\begin{align*}
(\operatorname{Op}_1(b_h)v)(X) = (2\pi)^{-n}\int_{\mathbb{R}^n}\int_{\mathbb{R}^n} e^{i(X-Y)\cdot \Xi}b_h(X,\Xi)v(Y)\,d\mathcal{L}^n(Y)\,d\mathcal{L}^n(\Xi).
\end{align*}
Indeed, for $v \in \mathcal{S}(\mathbb{R}^n)$ and $X \in \mathbb{R}^n$, substitute $x=h^{1/2}X$, $y=h^{1/2}Y$, and $\xi=h^{1/2}\Xi$. The measure transforms are $d\mathcal{L}^n(y)=h^{n/2}d\mathcal{L}^n(Y)$ and $d\mathcal{L}^n(\xi)=h^{n/2}d\mathcal{L}^n(\Xi)$, while
\begin{align*}
(2\pi h)^{-n}d\mathcal{L}^n(y)d\mathcal{L}^n(\xi) = (2\pi)^{-n}d\mathcal{L}^n(Y)d\mathcal{L}^n(\Xi).
\end{align*}
The phase satisfies
\begin{align*}
(x-y)\cdot \xi/h = (X-Y)\cdot \Xi.
\end{align*}
The factors $h^{n/4}$ and $h^{-n/4}$ from $U_h^{-1}$ and $U_h$ cancel, giving the asserted identity.
Moreover, for every pair of multi-indices $\alpha,\beta \in \mathbb{N}_0^n$, the chain rule gives
\begin{align*}
\partial_X^\alpha\partial_\Xi^\beta b_h(X,\Xi)=h^{(|\alpha|+|\beta|)/2}(\partial_x^\alpha\partial_\xi^\beta a)(h^{1/2}X,h^{1/2}\Xi;h).
\end{align*}
Let $N_0=N_0(n)$ denote the finite derivative order in the standard Calderón-Vaillancourt estimate invoked in the next step. Then for every $|\alpha|+|\beta|\le N_0$ and every $0<h\le h_0$,
\begin{align*}
\sup_{(X,\Xi)}|\partial_X^\alpha\partial_\Xi^\beta b_h(X,\Xi)|\le \max\{1,h_0^{N_0/2}\}\sup_{(x,\xi)}|\partial_x^\alpha\partial_\xi^\beta a(x,\xi;h)|.
\end{align*}
Thus the rescaling introduces the explicit factor $\max\{1,h_0^{N_0/2}\}$, so it remains to prove the $h=1$ estimate with constants depending only on $n$ and finitely many derivatives of the symbol.[/step]