i#5076 trace invariants: Fix concurrent thread writes

Moves two invariant_checker_t data fields that are written concurrently (though we expect their values to be constant across threads) into per-thread data to avoid data race tools complaining.

Tested under ThreadSanitizer.

Issue: #5076 (closed)