Add trace output

[novafacing]

It should be pretty easy to output execution traces of solutions (and optionally all executions/interesting inputs/so forth) for easy examination. We can output these in machine-readable form so that they can be loaded in Ghidra.

[novafacing]

#81 will close this.