Check and catch invalid device IDs

[gcampax]

If the model copies a device ID from the context, but the device doesn't apply or is no longer available, we should override the device ID or ask for clarification. Otherwise, queries will silently return no result, which is very confusing.