Revert "[LLVM] move verification of convergence control to a class template"

This reverts commit 93a37067.

The "extern template" declaration of CycleInfo caused problems in a shared build
when CycleInfo was removed from Verifier.cpp. There needs to be an explicit
instantiation corresponding to an extern template in every SO.