Can anyone tell me what mechanisms we (or the Tor Project members) have in scanning for malicious exit nodes. Such as nodes that are manipulating DNS requests, stripping SSL, etc. I know of the SOAT project from Mike Perry but the last I heard there was a GSOC dev working on the project. Is that still being used? OR