Add property based tests

[toburger]

It' quite easy to test JSON serialization with property based tests, by testing the isomorphism:
simply serialize the object graph and then deserialize it back. The resulting object graph has to be the same as the original one.
The only task is to define some sophisticated types. The complex, the better...