Tools::run_with_timeout improvement + hires alarm