Replace force_fully_observable by dedicated transformation beforehand

[volkm]

The argument force_fully_observable for check_model_sparse simply performs a cast from POMDP to MDP. It would be better to explicitly handle this transformation with existing stormpy methods instead of implicitly doing this in the background.