Enable trace definitions to be simulated against the protocol

[objectiser]

Trace definitions, either as a list (associated with the protocol) or individually should be able to be simulated against the associated protocol with the results reflected on the UI (tick for success, red x for fail - with some way to show description of failure).