After recent changes, |EC_KEY_set_public_key| is now dead code.
|EC_KEY| is immutable, though note that |EC_KEY| instances reference
|EC_GROUP| instances that aren't immutable. Now operations that take
|EC_KEY*| parameters use the private key, whereas operations that use
only public keys do not take |EC_KEY*| or |const EC_KEY*| parameters.