[Execution State] Memory usage and performance optimisation

[ramtinms]

This Epic captures some of the improvements to the execution state code (also known as Ledger) in terms of reducing memory and improving the speed of operations and proof verifications.

• Optimize atree to reduce Flow's mtrie size and reduce number of reads atree#292
• [Execution state] complete ledger - Separate storage of payloads  #1746
• [Execution state] Compact Batch Proofs #1749
• [Execution state] complete ledger - Separation of node types (leaf, intermediate)  #1745
• [Execution Node] Reduce memory use and speedup reading single register #2559
• Add Blob Cadence type to store metadata onchain cadence#1402
• Improving efficiency when storing composite values (specially nested ones) cadence#1854