As discussed with Ann and confirmed by Michael, we remove the [de]serialization case from this RSPEC. If the user dives into the details [de]serializing, using ObjectOutput#writeObject or ObjectInput#readObject, we assume the user knows what they are doing.
Hello Michael, please validate this implementation.
I apologize for not making a separate commit for the factorization of method hasSpecialHandlingSerializationMethods (and dependent method methodThrows) into class SerializableContract.