I think we probably want some additional sanity checks. Should we disallow modulus below some size, or public exponents that don't match some properties?