Rename sign_exp to sign_verify_exp
Further clean-up for sign_verify_exp.cpp