Add support for RSA_VERIFY primitive