Strategy for generating an operation against a model state, producing the next state.
Pick and apply an op against state using random for choices. Returns the new state (post-mutation).