CSE Machine: Avoid pushing unnecessary env instructions (exhaustive version) (#1706)

* check if env instruction is necessary

* Add test cases

* Implement helper functions

* Fix format

* Cache isEnvDependent results

* Delete unnecessary comments

* Speed up env dependent checking, approach 2

* merge

* Implement exhaustive environment depedent logic 1

* Modify test cases

* resolve conflict

* fix format

* remove obsolete test cases

* Fix equality check

* Clean up and add a test case

* remove incompatible instr checks

* Double checked the logic

* Fix format

* Remove unused logic and update test cases

---------

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>

Author: DiligentPenguinn

src/alt-langs/scheme/scm-slang

@@ -7467,7 +7467,7 @@ EnvTree {
                       "type": "Literal",
                       "value": [Function],
                     },
-                    "isEnvDependent": true,
+                    "isEnvDependent": false,
                     "loc": undefined,
                     "optional": false,
                     "type": "CallExpression",
@@ -8313,7 +8313,7 @@ EnvTree {
                         "type": "Literal",
                         "value": [Function],
                       },
-                      "isEnvDependent": true,
+                      "isEnvDependent": false,
                       "loc": undefined,
                       "optional": false,
                       "type": "CallExpression",
@@ -9258,7 +9258,7 @@ EnvTree {
                     "type": "Literal",
                     "value": [Function],
                   },
-                  "isEnvDependent": true,
+                  "isEnvDependent": false,
                   "loc": undefined,
                   "optional": false,
                   "type": "CallExpression",
@@ -10222,7 +10222,7 @@ EnvTree {
                 "type": "Literal",
                 "value": [Function],
               },
-              "isEnvDependent": true,
+              "isEnvDependent": false,
               "loc": undefined,
               "optional": false,
               "type": "CallExpression",
@@ -10976,7 +10976,7 @@ EnvTree {
           "type": "Literal",
           "value": [Function],
         },
-        "isEnvDependent": true,
+        "isEnvDependent": false,
         "loc": undefined,
         "optional": false,
         "type": "CallExpression",
@@ -11229,7 +11229,7 @@ EnvTree {
             "type": "Literal",
             "value": [Function],
           },
-          "isEnvDependent": true,
+          "isEnvDependent": false,
           "loc": undefined,
           "optional": false,
           "type": "CallExpression",