desugar-check follows its postcondition now

Check blocks, if nested, would remain in the AST, causing Pyret
to violently throw up when they appeared. This bug is responsible
for test failures on master.