Refactor: Use dynamic memory layout for `TransactionContext::instruction_trace`

[Lichtso]

Problem

The ABIv2 design requires all shared (between SBF programs and the runtime) properties to be flattened and accessible form the TransactionContext.

Summary of Changes

Adds DynamicLayoutArray. Collapses two nesting levels: Inlines all Vecs of InstructionContext and the struct itself into TransactionContext::instruction_trace.