[Feature] Reject old executions after an upgrade.

[d0cd]

[NO NEW COMMITS ARE ALLOWED AS OF 5/27/25]

THE CHANGES MADE IN THIS PR ARE REMOVED BY #2758. This PR exists for the purpose of keeping audits consistent.

This PR rejects executions whose state roots are before the latest upgrade. This ensures that users do not create executions for program logic that may have changed. This does require that executions use "fresh" state roots, but the overhead should not be meaningful w.r.t to fetching state roots for records.