Not only Miracast, but even Chromecast had >700ms latency in my experience :(