No CoreLint warnings if -dno-debug-output is on
The Core Lint warnings are new. There's only one at the moment,
namely one to identify recursive INLINE things:
[RHS of $c>>_als :: forall s_afT a_alJ b_alK.
Cpr001_imp.StateTrans s_afT a_alJ
-> Cpr001_imp.StateTrans s_afT b_alK
-> Cpr001_imp.StateTrans s_afT b_alK]
INLINE binder is loop breaker: $c>>_als
This is definitely non-fatal, and typically gets unravelled after
another simplifier run anyway. So I'm suppressing such warnings
for the testsuite, when -dno-debug-output is on.