Added verifier and reverse mapping from SAT solution to GC