iMC changes inside of storm-pars #2365

Job	Run time
Distro Tests (debian-12, Release)	42m 25s
Compiler Tests (GCC, Debug)	54m 57s
Distro Tests (ubuntu-22.04, Release)	38m 49s
Test and Deploy (Debug)	44m 59s
Compiler Tests (Clang, Debug)	50m 16s
Distro Tests (ubuntu-24.04, Release)	44m 57s
Test and Deploy (Release)	47m 9s
Indepth Tests (GMP exact; GMP rational functions; All dependencies, Debug)	46m 53s
Indepth Tests (CLN exact; GMP rational functions; All dependencies, Debug)	48m 12s
Indepth Tests (CLN exact; CLN rational functions; All dependencies, Debug)	47m 12s
Indepth Tests (GMP exact; CLN rational functions; No dependencies, Debug)	43m 5s
Indepth Tests (Minimal dependencies, Debug)	34m 15s
Email notification	5s
	9h 3m 14s

Provide feedback