Integrate trace-verifier with the prototype experiments

Trace verifier could be applied to traces emitted during the experiment runs as an extra layer of verification.

Additionally, it would be useful to have these two components wired together sooner rather than later to facilitate co-evolution of Leios prototype instrumentation with the trace-verifier features.

