Extend `_module_to_kore` test suite

[tothtamas28]

• Move and rename test module
• Make test parametric
• Add test definitions

[tothtamas28]

Test coverage is 95%, the remaining 5% is mostly imports from the TYPE_CHECKING block and checks for conditions ensured by the K Frontend.

To generate the coverage report, run:

$ poetry run -- coverage run -m pytest src/tests/integration -v -n0 -k test_module_to_kore
$ poetry run -- coverage html

[Baltoli]

Will review when the previous PR is rebased out so it's a bit easier to read the diff @tothtamas28

[tothtamas28]

Will review when the previous PR is rebased out

Done.