[GHC] #12691: Refine the behaviour of -dno-debug-output and -dtrace-level