iMC changes inside of storm-pars #2323

Job	Run time
Distro Tests (debian-12, Release)	42m 47s
Compiler Tests (GCC, Debug)	54m 10s
Distro Tests (ubuntu-22.04, Release)	37m 7s
Test and Deploy (Debug)	44m 19s
Compiler Tests (Clang, Debug)	50m 51s
Indepth Tests (GMP exact; GMP rational functions; All dependencies, Debug)	30m 31s
Distro Tests (ubuntu-24.04, Release)	43m 4s
Test and Deploy (Release)	45m 12s
Indepth Tests (CLN exact; GMP rational functions; All dependencies, Debug)	30m 13s
Indepth Tests (CLN exact; CLN rational functions; All dependencies, Debug)	30m 31s
Indepth Tests (GMP exact; CLN rational functions; No dependencies, Debug)	30m 30s
Indepth Tests (Minimal dependencies, Debug)	30m 30s
Email notification	4s
	7h 49m 49s

Provide feedback