Enable TLS1.3 and PEDANTIC in the coverage target