Made watchdog-single the default race instrumenter