Add method for canonicalizing (orthogonal) IMDPs #61
Description
If multiple regions are classified as reach or avoid, we can collapse them together by adding their probabilities and thus avoiding computing value iteration for more than one state. For orthogonal IMDPs, it is instead for multiple (n-1)D slices to be classified as reach or avoid.