Disable TLS1.3 when openssl bug 7712 is present
See #28616 (moved) for the impact of the bug in tor; see https://github.com/openssl/openssl/issues/7712 for the openssl issue.
See #28616 (moved) for the impact of the bug in tor; see https://github.com/openssl/openssl/issues/7712 for the openssl issue.