reducer fixes

fix stupid bug

remove a debug printout

assert that souper-check likes the initial input to the reducer