In general, I think this is the logical next step after Rust in software development. We now have reliable code, thanks to the Rust language. Next thing we need is expressive, complete testing, to make feature development accessible and effective. People should be able to go from "I want this program to do x when I do y" to a complete automated testing suite which can be used as a target for developers. Then these feature requests can be funded and the reward goes to the developers.