int(0..1) raw_verify(Gmp.mpz h, Gmp.mpz r, Gmp.mpz s)
Verify the signature r ,s against the message h .