Interact with a verified virtual-machine display using bounded input actions and explicit VM identity.
