Introduce const and non-const versions of the TruthStrategyManager singleton. Enable thread-checker.
TruthStrategyManager