Extending our ASSERT method to capture expressions with expression templates (a la catch2) would allow for much more readable assertions that didn't damage later debuggability.

Consider directly using catch2 as one viable option

This would allow:

ASSERT_EQUALS(foo, bar);

to be rewritten as:

ASSERT(foo == bar);

without losing the values of foo and bar if the assertion fires