Test for the proof protocol

Benjamin Jorgerequested to merge
mock-runner into master

Add a mock runner that timeouts and test the proof protocol on a realistic example

Merge request reports