The algebraic trace criterion for envelope endomorphisms

Re-exports the finite-dimensional semisimplicity criterion used by the skein and envelope endomorphism algebras.