Use native time.perf_counter()

7 jobs for !3525 with no-core-backport-time in 13 minutes and 27 seconds (queued for 3 seconds)
merge request