kmir/test_integration: fix import ordering (isort)

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: ehildenb

kmir/src/tests/integration/test_integration.py

@@ -10,7 +10,6 @@
 from pyk.cterm.show import CTermShow
 from pyk.kast.inner import KApply, KSort, KToken
 from pyk.kast.pretty import PrettyPrinter
-
 from pyk.proof import Proof
 from pyk.proof.show import APRProofShow