Encode/Decode Property Test