prove log spam fix#519

ZenGround0 wants to merge 3 commits intomainfilecoin-project/curio:mainfrom

fix/proving-deleted-log-spamfilecoin-project/curio:fix/proving-deleted-log-spamCopy head branch name to clipboard