Currently execute (and a lot of other functions) accept a truckload of arguments. For phase theta (G2 and G3), we are likely to want to add more dependencies. We should logically encapsulate these injected dependencies, paying particular attention to invariants like evaluatorUri and resolver, before adding yet more dependencies.