Kernel checks for hard-case certificate group 2.

theorem HadwigerNelsonBounds.partsGadgetHardCertificate8_verifies : partsGadgetHardCertificate8.Verifies

theorem HadwigerNelsonBounds.partsGadgetHardCertificate9_verifies : partsGadgetHardCertificate9.Verifies

theorem HadwigerNelsonBounds.partsGadgetHardCertificate10_verifies : partsGadgetHardCertificate10.Verifies

theorem HadwigerNelsonBounds.partsGadgetHardCertificate11_verifies : partsGadgetHardCertificate11.Verifies