Verifies a signature; a composite verifies only when both halves do.
one of PQ_ALGS
PQ_ALGS
the public key as generate() returns it
generate()
the signed bytes
the signature to check
true when the signature verifies; false for a composite of the wrong length
Error when alg is not one this module can verify
alg
Verifies a signature; a composite verifies only when both halves do.