Makefile: up CI to doing 20000 steps at a time

Author: ehildenb

Makefile

@@ -511,7 +511,7 @@ tests/foundry/out/kompiled/foundry.k: tests/foundry/out/kompiled/timestamp
 
 tests/foundry/out/kompiled/foundry.k.prove: tests/foundry/out/kompiled/timestamp
 	$(KEVM) foundry-prove tests/foundry/out                                                          \
-	    -j$(FOUNDRY_PAR) --max-depth 1000 --no-simplify-init                                         \
+	    -j$(FOUNDRY_PAR) --max-depth 20000 --no-simplify-init                                        \
 	    $(KEVM_OPTS) $(KPROVE_OPTS) $(addprefix --exclude-test , $(shell cat tests/foundry/exclude))
 
 tests/foundry/out/kompiled/timestamp: $(foundry_out) $(KEVM_LIB)/$(foundry_kompiled) venv $(lemma_includes)