test: rename symtest to halmos

Author: daejunpark

.github/workflows/ci-foundry.yml

@@ -38,8 +38,8 @@ jobs:
       - name: Run tests
         run: forge test
 
-      - name: Install symtest
-        run: python3 -m pip install --upgrade symtest
+      - name: Install halmos
+        run: python3 -m pip install --upgrade halmos
 
-      - name: Run symtest
-        run: symtest --function testProve --loop 4
+      - name: Run halmos
+        run: halmos --function testProve --loop 4