Yes, it does hand the Arduino back over to the VM, but sometimes it uses a different port. It is usually ttyACM0, but will sometimes come back up to ttyACM1. It should be fine since the altport is specified as ttyACM1 in the config.cfg file.
To answer the previous question, yes, I have...