Tests for the Genesis State Machine using the quickcheck-dynamic library.

The instance 'QD.StateModel Model' describes the actions that the model supports, and their semantics in terms for the model and the system-under-test.

We use the reflection library to solve the problem of injecting user-supplied or quickcheck-generated values into the instance of QD.StateModel. See the definition of the initialState method, where we access the reflected configuration, and see prop_sequential_iosim for the construction and reification of the configuration.