fix: run LCNF checks less often by default#8764

zwarich merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

zwarich:run-lcnf-check-lesszwarich/lean4:run-lcnf-check-lessCopy head branch name to clipboard