bring back the syncheck:add-rename-menu method in a way
that preserves backwards compatibility for the
drracket/check-syntax library
fix some bugs in union-find

(thanks to random testing)