Remove unused RefactoringValidity type
Remove doCheck argument to refactorings

This was used for evaluating the usefulness of the analysis and is no
longer needed.
Extend ScopeTrees to differentiate top level declarations

This will be used to know whether a rename/add argument might affect
other files. Class members aren't considered top level since they can't
be renamed yet anyway.