tests/test_debugging_tools.py: Fix for time profile values.