[Perf] Don't re-synthesize credits.aleo

[ljedrz]

Closes #2416.

[raychu86]

LGTM, pending CI runs successfully

[raychu86]

This change actually causes the test_vm_execute_and_finalize on my machine to hang and never finish. Without the change, it completes in around 8 minutes.

This should be investigated before we proceed with the changes.

[ljedrz]

I can reproduce this; that being said, I'm not familiar with the associated plumbing so I'm not sure what the nature of the issue is.

[vicsn]

Hmm I can't think immediately of why this would fail. However, given that this optimization is about resynthesis of proving keys in CallStack::Execute mode, its not something validators run into (who only use CallStack::CheckDeployment), so this seems very low priority