Make TxFormats a Meyers singleton
Fix missing assert in UnitTest runner
[WIP] TestOverlay