i#5076 trace invariants, part 2: Rename to invariant_checker

Moves tests/trace_invariants.* to tools/invariant_checker.*. Renames trace_invariants_t to invariant_checker_t.

Issue: #5076 (closed)