Testing Serialization and Persistence Logic

Ensure object state is correctly restored through rigorous property-based testing of binary and text formatters.