[Feature] Reduce duplicate tx verification

[vicsn]

🚀 Feature

Currently validators call Ledger::<N, C>::check_transaction_basic(...) twice when receiving executions via the P2P network or RPC endpoint and thrice when receiving deployments.

Motivation

It would be great if we can cache whether deployment synthesis and execution verification succeeded. Only inclusion proofs may become stale and needs to be rechecked at the end.