Using a function for debug printing

Instead of #define-s etc
Better indentation
Fixing comment to 80-char limit
An assert to better describe the situation at hand
Don't update activities of variables that are not decision vars anyway
Remove this check and associated function

We can achieve the same with checkImplicitStats()
Checking implicit stats in case of implicit debug
Removing commented-out code
Forgot to clear delayedAttach after (and before, just to be sure) use
Refactoring replaceImplicit()' binary replacement and stats update