Add testing using javacard.security.NamedParameterSpec and javacard.security.PrimalityTestParamSpec

[petrs]

introduced in 3.1, javacard.security.NamedParameterSpec.getInstance(short stdName)
public static final short NamedParameterSpec_BRAINPOOLP192R1 = 8195;
public static final short NamedParameterSpec_BRAINPOOLP192T1 = 8196;
public static final short NamedParameterSpec_BRAINPOOLP224R1 = 8197;
public static final short NamedParameterSpec_BRAINPOOLP224T1 = 8198;
public static final short NamedParameterSpec_BRAINPOOLP256R1 = 8199;
public static final short NamedParameterSpec_BRAINPOOLP256T1 = 8200;
public static final short NamedParameterSpec_BRAINPOOLP320R1 = 8201;
public static final short NamedParameterSpec_BRAINPOOLP320T1 = 8202;
public static final short NamedParameterSpec_BRAINPOOLP384R1 = 8203;
public static final short NamedParameterSpec_BRAINPOOLP384T1 = 8204;
public static final short NamedParameterSpec_BRAINPOOLP512R1 = 8205;
public static final short NamedParameterSpec_BRAINPOOLP512T1 = 8206;
public static final short NamedParameterSpec_ED25519 = 257;
public static final short NamedParameterSpec_ED448 = 514;
public static final short NamedParameterSpec_FRP256V1 = 1025;
public static final short NamedParameterSpec_SECP192R1 = 4097;
public static final short NamedParameterSpec_SECP224R1 = 4098;
public static final short NamedParameterSpec_SECP256R1 = 4099;
public static final short NamedParameterSpec_SECP384R1 = 4100;
public static final short NamedParameterSpec_SECP521R1 = 4101;
public static final short NamedParameterSpec_SM2 = 768;
public static final short NamedParameterSpec_X25519 = 259;
public static final short NamedParameterSpec_X448 = 516;