Hah, I was looking into something similar while ago. Really cool stuff. 

I'd also want to explore using property-based-testing style properties for that... and LLM could generate property tests to ensure code is correct.