More robust handling of rdtsc and _nassert code