refactor: remove staging

Author: QGarchery

certora/scripts/dll-fifo.sh

@@ -9,5 +9,4 @@ certoraRun \
     --optimistic_loop \
     --send_only \
     --msg "FIFO DLL verification" \
-    --staging \
     $@

certora/scripts/dll-simple.sh

@@ -9,5 +9,4 @@ certoraRun \
     --optimistic_loop \
     --send_only \
     --msg "Simple DLL verification" \
-    --staging \
     $@

certora/scripts/sanity-fifo.sh

@@ -8,6 +8,5 @@ certoraRun \
     --loop_iter 7 \
     --optimistic_loop \
     --send_only \
-    --staging \
     --msg "FIFO DLL sanity" \
     $@

certora/scripts/sanity-simple.sh

@@ -8,6 +8,5 @@ certoraRun \
     --loop_iter 7 \
     --optimistic_loop \
     --send_only \
-    --staging \
     --msg "Simple DLL sanity" \
     $@