Print determine_timing output

Wouter Deconinckrequested to merge
debig-print-determine-timing-output into main

Merge request reports