Support for Execution monad

Yeah either facts or exepectations is ok. However, with Execution you also want to test the return value of the Execution itself plus facts/expectations and verifiable does not cater for that.

The whole `flow.withFacts` style does not allow for that.