Adds timer debugging options -- currently untested