test to verify that all keytype / size permutations are supported by the verifier library.