You are correct that we only supply the few models that you mentioned above with DS-5. These provide a quick way to run small code snippets and to run the included example programs.
DS-5 connects to models through what is known as the CADI interface. In theory it should be possible to connect any model that supports CADI to DS-5. ARM sells other CADI models separately, but typically these model development boards produced by ARM. ARM certainly does not produce a model of Vybrid, and I am not aware of anyone else providing such a model either.