Revert "another version with timings, unfortunately much slower than previous because of repeated rdtsc"
Revert "another version with timings, unfortunately much slower than previous because of repeated rdtsc"

This reverts commit 776815f8b0a0c2f2ce02bf72cba8f40d726afbc5.

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs