Also modify the string encoding/decoding rountrip proptest to be just an exerciser of the keygen for now.