Convenience operator to call a Module with an explicit ExecutionContext. This does not re-introduce the legacy context-less invoke; callers must pass ctx.