Witten's finite-dimensionality conjecture for Kauffman bracket skein modules

Let $M$ be a closed oriented $3$-manifold, and let $\mathcal{S}(M;\mathbb{C}(A))$ denote its Kauffman bracket skein module over $\mathbb{C}(A)$, the field of rational functions in $A$. Witten's finite-dimensionality conjecture. The Kauffman bracket skein module of any closed oriented $3$-manifold over $\mathbb{C}(A)$ is finite dimensional. The paper says that Witten conjectured this statement and that a proof had been announced, but the supplied text does not establish whether the announced proof was accepted or complete.