Revert "invalidate only affected expressions in validate-loop-locals"

This reverts commit 956ad56fc0d54270931beb54e8cbe5acd3567fe9.

This did not take into account let bindings
remove dead code, better annotate-binding-tag