Module witness

Available on crate feature witness only.

Helper types for execution witness generation.

Structs

• ExecutionWitnessRecord
  Tracks state changes during execution.