Change the default TraceCD to true

The TraceCD command line option is for control dependence.