Refactors the trace invariants checker tool to operate in parallel over the sharded threads of the trace. The branch target check across thread switches instead looks for branch targets across possible switch points indicated by timestamps.
Adds a test name parameter to isolate the targeted-app portions of the invariants checks.
Refactors the invariant_checker_test to run the tool in both serial and parallel mode.
Fixes a bug found in initializing per_shard_t.prev_xfer_marker_ which caused false negatives in certain cases.
Issue: #5076 (closed)