Workspaces for relay-test-suite-verify-machineinstrs #6462