Add TraceCheck format to the CLI
Move unsupported TraceCheck examples to a subfolder
Add simple supported TraceCheck examples