Module witness

Available on crate feature witness only.

Helper types for execution witness generation.

Structs

ExecutionWitnessRecord

Tracks state changes during execution.