Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking (Computer Science, 2025)