[Sema] Increase depth and count limits for opaque result type substitutions

Let's set the limits to high end of what we'd expect to prevent regressions.
These still require some profiling to fine-tune but the original limits are
far too small for SwiftUI views we see in pactice.

Resolves: rdar://156896778

Author: xedin

include/swift/Basic/LangOptions.h

@@ -614,11 +614,11 @@ namespace swift {
 
     /// Maximum nesting depth for type substitution operations, to prevent
     /// runaway recursion.
-    unsigned MaxSubstitutionDepth = 50;
+    unsigned MaxSubstitutionDepth = 1000;
 
     /// Maximum step count for type substitution operations, to prevent
     /// runaway recursion.
-    unsigned MaxSubstitutionCount = 2000;
+    unsigned MaxSubstitutionCount = 32000;
 
     /// Enable implicit lifetime dependence for ~Escapable return types.
     bool EnableExperimentalLifetimeDependenceInference = false;