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