feat(MainLoop): Minimally better logging in insertForRerun
style(*Dictionary): Clean/Reorganize MultiDictionary and SetDictionary
feat(CTL): Print some evidence (found preconditions) for CTL w/ -print_proof
feat(Term/Formula): ToString() breakthrough in T2's .NET support