Strong checking of Debug and Trace options.