Tests: skip preemptive inputs-only typecheck in compile verifier#269

dfed merged 1 commit intomaindfed/SafeDI:mainfrom

claude/verifier-skip-input-only-preemptivedfed/SafeDI:claude/verifier-skip-input-only-preemptiveCopy head branch name to clipboard