add limit to the number of clauses simplifyCNF can handle

src/Psalm/Internal/Algebra.php

@@ -90,6 +90,12 @@ class Algebra
     {
         $clause_count = count($clauses);
 
+        //65536 seems to be a significant threshold, when put at 65537, the code https://psalm.dev/r/216f362ea6 goes
+        //from seconds in analysis to many minutes
+        if ($clause_count > 65536) {
+            return [];
+        }
+
         if ($clause_count > 50) {
             $all_has_unknown = true;