Revert "removing extra debug printing"

This reverts commit 82c815f3e70197577ad742d4d862e42d9050fe41.
Revert "regressions pass with the bv explanation fix"

This reverts commit bfa1d374f45abd2c835496f5f34422a31055a5bf.