SERVER-11432: clean up some killCurrentOp.checkForInterrupt handling