Hey, I'm working on something similar here:

https://github.com/captaincole/OpenReturn

And I have a concept as well for how people can verify the solver by running their own previous returns through the engine. Would love to collaborate as this is a side project for me as well.