TESTS: added tests to serialization-test.reds