Race-checking and upsweep barrier invariant checking, together.
Race-checking and downsweep barrier invariant checking, together.