Add '-requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify' to a few validation tests

Author: slavapestov

test/AutoDiff/Sema/differentiable_func_type.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -typecheck -verify %s
+// RUN: %target-swift-frontend -typecheck -verify %s -requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify
 
 import _Differentiation
 

validation-test/Sema/type_checker_crashers_fixed/rdar28235248.swift

@@ -1,4 +1,4 @@
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify -debug-generic-signatures 2>&1 | %FileCheck %s
 
 protocol II {
   associatedtype E
@@ -9,4 +9,6 @@ protocol P {
   associatedtype X
 }
 
+// CHECK-LABEL: ExtensionDecl line={{.*}} base=P
+// CHECK-NEXT: Generic signature: <Self where Self : P, Self.[P]I.[II]E : P, Self.[P]I.[II]E.[P]X == Int>
 extension P where I.E : P, I.E.X.D == Int, I.E.X == Int {}

validation-test/compiler_crashers_2_fixed/0097-rdar32077627.swift

@@ -1,3 +1,5 @@
-// RUN: not %target-swift-frontend -typecheck -primary-file %s
+// RUN: not %target-swift-frontend -typecheck -primary-file %s -requirement-machine-inferred-signatures=verify -debug-generic-signatures 2>&1 | %FileCheck %s
 
+// CHECK-LABEL: .hexEncodeBytes@
+// CHECK-NEXT: <T where T : Collection, T.[Sequence]Element == UInt8>
 func hexEncodeBytes<T: Collection>(_ bytes: T) where T.Generator.Element == UInt8 { }

validation-test/compiler_crashers_2_fixed/0109-sr4737.swift

@@ -1,4 +1,4 @@
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify
 
 //===----------------------------------------------------------------------===//
 extension UnicodeScalar {