added test to ctruntime
code format
improved to string for traces
change ctruntime to only type check tests when needed and added a new Verdics ERROR for TC failures. Added test cases to test the module