i#6444 no exit: Add invariant check for thread exit

[derekbruening]

Adds an invariant check that each thread has an exit record in a drmemtrace.

Adds a path for the analyzer to call process_shard_exit() when there is no exit record.
Manually tested this on a real truncated trace.

Adds a unit test.

The new check failed on nearly every existing unit test, requiring adding thread exits. That in turn triggered exit checks on missing headers and filetypes. I ended up having to edit every test case. As part of this I standardized the tid constants used.

Issue: #6444

[derekbruening]

ub22 is off.simple #6416
win64: traceopts #6423, replaceall #5412

[derekbruening]

x32 is set in #6417

[derekbruening]

4 jobs failing, all with known failures:

• ub22: off.simple tool.drcacheoff.simple fails on some x86-32-ubuntu22 VMs #6416
• x64: client.attach_test client.attach_test failing sometimes: kill cannot find the target process #6452
• x32: AMD set of failures Sudden flaky failures of 81 tests on x86 32-bit GA CI #6417
• win64: replaceall tool.drcacheoff.burst_replaceall failure on Windows with 2nd thread in simulator results #5412, traceopts win64 burst_traceopts non-det failure #6423, windows-timestamps callback.c assert ASSERT callback.c:1477 in tool.drcacheoff.gencode test on win32 #6081