[#668] Add callback to modify 'PureState' in `clevelandTestProp` tests.

This change adds a simple callback to clevelandTestProp to configure the initial environment when running property tests using it.

As the callback is of type PureState -> PureState I also had to export PureState constructor.