converted everything to `cli`

It works nicely, and fixed a few design issues I had right away.
Generalized Runner and cli to the point where verify can be implemented with no redundancy.

Even though there will still be some sort of abstraction to be done, as the gather part is
rather similar right now.

Lets see
Greatly simplified seal test by making StartEngine more flexible.