Bump stormpy from 1.13.0 to 1.13.2 (#413) #1102

Job	Run time
Mac Tests (Install, MacOS 26, ARM, Debug)	16m 13s
Test on stable (Debug)	10m 26s
Mac Tests (Fetch, MacOS 14, ARM, Debug)	16m 8s
Mac Tests (Fetch, MacOS 15, ARM, Debug)	19m 5s
Test and Deploy on latest (Debug)	11m 40s
Mac Tests (Install, MacOS 26, ARM, Release)	22m 13s
Test and Deploy on latest (Release)	13m 39s
Test on stable (Release)	12m 7s
Mac Tests (Fetch, MacOS 26, ARM, Debug)	23m 17s
Linux Test (Fetch, Debian 13, Debug)	34m 20s
Linux Test (Fetch, Debian 12, Debug)	33m 12s
Linux Test (Fetch, Ubuntu 24.04, Debug, only Storm core)	30m 11s
Mac Tests (Fetch, MacOS 26, Intel, Debug)	38m 34s
Indepth Tests (Debug, all libraries)	11m 18s
Indepth Tests (Release, no libraries)	8m 14s
Indepth Tests (Debug, no libraries)	9m 11s
Linux Test (Fetch, Ubuntu 24.04, Debug)	32m 58s
Indepth Tests (Release, all libraries)	12m 13s
Linux Test (Fetch, Ubuntu 24.04, Release)	35m 57s
Email notification	6s
	6h 31m 2s

Provide feedback