Rename the two Verifier.cpp files to ASTVerifier.cpp and SIL/SILVerifier.cpp

This makes open quickly and lldb file/line breakpoints happier. NFC.

Author: lattner

lib/AST/Verifier.cpp renamed to lib/AST/ASTVerifier.cpp

@@ -4,6 +4,7 @@ add_swift_library(swiftAST
   ASTDumper.cpp
   ASTNode.cpp
   ASTPrinter.cpp
+  ASTVerifier.cpp
   ASTWalker.cpp
   Attr.cpp
   Availability.cpp
@@ -39,7 +40,6 @@ add_swift_library(swiftAST
   TypeRepr.cpp
   TypeWalker.cpp
   USRGeneration.cpp
-  Verifier.cpp
   LINK_LIBRARIES
     swiftMarkup
     swiftBasic

lib/AST/CMakeLists.txt

@@ -18,10 +18,10 @@ add_swift_library(swiftSIL
   SILModule.cpp
   SILPrinter.cpp
   SILSuccessor.cpp
+  SILVerifier.cpp
   SILVTable.cpp
   SILWitnessTable.cpp
   TypeLowering.cpp
-  Verifier.cpp
   SILType.cpp
   SILValue.cpp
   SILDeclRef.cpp