Module execution

Module execution 

Expand description

Logic for execution

Functionsยง

default_execute
Default way of transforming verifiables into verifiable with diffs.