Revert change to TcEnv. Looking up CustomSolver should always work.
Finish first draft of allowing users to define custom solvers.