Switch to new text proofs, part 2
Add standalone verifier (from MPU::GMP)