Create log file per target, not run checks for all specs at all#514

danilych merged 2 commits intomainasymptotic-code/sui-prover:mainfrom

512-users-custom-system-specs-always-replace-system-specs-even-without-includeasymptotic-code/sui-prover:512-users-custom-system-specs-always-replace-system-specs-even-without-includeCopy head branch name to clipboard