i#5076 trace invariants, part 1: Generalize error reporting

Replaces the use of assert() with a virtual function report_if_false() so that subclasses can set up custom reporting.

Generalizes the includes for easier use in other build frameworks.

Issue: #5076 (closed)