Better handling of race pair messages

Race pair messages are now turned off by default and only shown together with
erroneous interleavings.