The TwoManySat's Verifying Compiler