debug: add support for counters re -ddump-simpl-stats
utils: enable debug mode in the ghci script