huge bottleneck: wf check after finishLet

always skipping this now (not just in -fast mode)