fix: use bit vector theory for checking summaries

Author: QGarchery

certora/confs/LibSummary.conf

@@ -5,6 +5,9 @@
     "solc": "solc-0.8.19",
     "verify": "MorphoHarness:certora/specs/LibSummary.spec",
     "rule_sanity": "basic",
+    "prover_args": [
+        "-useBitVectorTheory",
+    ],
     "server": "production",
     "msg": "Morpho Blue Lib Summary"
 }