Issue1173: Fix Parameter Order for MergeAndShrinkAlgorithm

[speckdavid]

This is the PR to fix issue.

We (Simon and I) found a bug in the parameter order for constructing the M&S
algorithm inside of the constructor of MergeAndShrinkHeuristic, which sets the
transition system sizes to wrong values. This is because the expected order is bool
prune_unreachable_states, bool prune_irrelevant_states, int max_states, int
max_states_before_merge, int threshold_before_merge. However, the current order is
int max_states, int max_states_before_merge, int threshold_before_merge, bool
prune_unreachable_states, bool prune_irrelevant_states. For example, this sets the
value for max_states to zero or one because the boolean prune_unreachable_state is
passed.

This also occurs in the latest release, which may give a reason to update it.