I was in the audience for that talk. The recording doesn't capture how much energy there was- we were all gasping and cheering throughout.
Still a decade off from production, though. That it doesn't just take "test cases": you have to know how to formally express the program properties, which is a separate skill from both unit testing and implementing.
We are advancing, but the current state is... not mind-blowing yet (albeit somewhat cool!). See [1] for an example interactive demo and [2] for the corresponding presentation.
[1] http://comcom.csail.mit.edu/comcom/#Synquid
[2] https://www.youtube.com/watch?v=HnOix9TFy1A