Issue #696: do not print out IR dumps in the test suite