Makefile: set options to make faster CI exploration in Makefile

Author: ehildenb

Makefile

@@ -510,7 +510,9 @@ tests/foundry/foundry.k.check: tests/foundry/out/kompiled/foundry.k
 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) $(KEVM_OPTS) $(KPROVE_OPTS) $(addprefix --exclude-test , $(shell cat tests/foundry/exclude))
+	$(KEVM) foundry-prove tests/foundry/out                                                          \
+	    -j$(FOUNDRY_PAR) --max-depth 1000 --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)
 	$(KEVM) foundry-kompile $< $(KEVM_OPTS) --verbose