Delete mystery \check command

I'm not sure what it was supposed to be for, perhaps it was meant to be
a throw-away function to check that commands aren't echoed to users.