I need to do that for a few projects :)

But I do a lot of verification and manual testing + making the code actually readable. Doesn’t scale too much though.