Miracast is included in Vero 2, but not on other devices as they are not compatible. If in the future, things are possible, we'll add support.
Vero 2 cannot stream HD audio formats at the moment, however the core is always passed through. We have a couple of kernel patches that permit this, and at the very least, permit bit-perfect decoding of these streams (up to 7.1) via HDMI. This will guarantee the same level of audio quality as bitstreaming HD audio would, but you won't see the pretty HD audio light on your AVR.
As I have said elsewhere, Vero 2 can output 4K resolution, but can't decode 4K content. This isn't as much of an issue as you may think:
The new Vero doesn't support 4K. In all honesty, this wasn't a huge
concern, as there's not a lot of content in 4K. I can't anticipate this
changing for a while given the availability of broadband connections. I
think that 4K's best chance will be via optical format. We'll
re-evaluate 4K when there is more demand and content available for it.