string contain changes
minor fix, bring back the assertion.
remove a warning in strings
Fix LogicInfo parsing for string logics
Fixes to stats registry
Framework for theory proof generation.  LFSC Proof generation for UF.  Proof-checking work.  Assorted fix-ups related (mostly) to proofs.