I don't know how satisfying this answer will be, but I'll give it a shot anyway. The punchline, I think, is that although these "diagonal properties" have just as much aesthetic appeal as their "anti-diagonal" counterparts, the diagonal properties happen to give us information that is more useful for a matrix as it is used mathematically. That is, diagonal symmetry is a more natural thing to look for in the context of linear algebra.
First of all, note that all of these properties are properties of square (that is, $n \times n$) matrices, which are implicitly linear maps from $\Bbb F^n$ to $\Bbb F^n$ (that is, they produce vectors of $n$ entries from vectors of $n$ entries).
The properties that we really care about in linear algebra are the ones that tell us something about how matrices interact with vectors (and ultimately, with other matrices).
Diagonal Matrices
Diagonal matrices are important because they describe a particularly nice class of linear transformations. In particular:
$$
\pmatrix{d_1\\&d_2\\&&\ddots \\ &&& d_n} \pmatrix{x_1\\ x_2\\ \vdots \\ x_n} =
\pmatrix{d_1 x_1\\ d_2 x_2\\ \vdots \\ d_n x_n}
$$
I would say that what a diagonal matrix represents is the fact that each of the $n$ variables required to specify a vector are decoupled. For example, in order to find the new $x_2$, one only needs to look at the old $x_2$, and do what the matrix says.
When we "diagonalize" a matrix, we're finding a way to describe each vector (that is, $n$ independent "pieces of information") that are similarly decoupled as far as the transformation is concerned. So, for example, the matrix
$$
A = \pmatrix{0&1\\4&0}
$$
takes a vector $x = (x_1,x_2)$ and produces a new vector $Ax = (x_2,2x_1)$. There's a nice symmetry to that; in particular, applying $A$ twice gives us the vector $A^2 x = (2x_1,2x_2)$, which is to say that $A$ acts like a diagonal matrix whenever you apply it an even number of times.
However, I would argue that we get a clearer picture of what $A$ does if we diagonalize it. In particular, if we write a vector as $x = a_1(1,2) + a_2(1,-2)$, $A$ gives us the new vector
$$
Ax = a_1 A(1,2) + a_2 A(2,1) = 2a_1(1,2) - 2a_1(1,-2)
$$
In particular, one we know the two pieces of information $a_1$ and $a_2$, we can figure out the new vector using these pieces separately, without having them interact.
So, we see that this antidiagonal $A$ is nice, but just not nearly as simple as the "diagonal version" of the transformation.
Symmetric matrices
Symmetric matrices are particularly nice when we care about dot-products. Dot products are needed whenever you want to think about the angle between vectors in some capacity.
In particular: if we define the dot-product
$$
(x_1,\dots,x_n) \cdot (y_1,\dots,y_n) = x_1y_1 + \cdots x_n y_n
$$
Then a symmetric $A$ will have the property that
$$
(Ax) \cdot y = x \cdot (Ay)
$$
Ultimately, this whole thing connects back to diagonal matrices since every symmetric matrix can be diagonalized in the sense described above. The fact that this can be done is known as the spectral theorem.
Persymmetric matrices, however, don't act in a particularly nice way with respect to any usual operations (like the dot product).
You wish to show that for $A\in W^\bot$ you have $A+A^T = 0$. We have
$$\begin{aligned} \langle A + A^T, A + A^T\rangle &=\langle A, A+A^T\rangle +\langle A^T, A+A^T\rangle\\ &=0+\langle A^T, A+A^T\rangle \end{aligned}$$ since $A + A^T$ is symmetric and $A\in W^\bot$. If you expand the second term you obtain $$\langle A^T, A+A^T\rangle = \text{Tr}\left(A(A+A^T)\right) = \text{Tr}\left((A+A^T) A\right) =\langle A+A^T, A\rangle = 0 $$ as well, where we used that $\text{Tr}(BC) = \text{Tr}(CB)$ for all matrices $B$ and $C$.
This shows that $\langle A + A^T, A + A^T\rangle=0$ and since $\langle\cdot,\cdot\rangle$ is an inner product this implies that $A + A^T=0$, which gives $A^T = -A$ as desired.
Best Answer
The matrix product does not preserve the symmetric nor the anti-symmetric property. A simple example of this phenomenon is the following.
Pick
$$S=\begin{pmatrix} 2 & 1\\ 1 &2 \end{pmatrix} \quad \text{and} \quad A= \begin{pmatrix} 0 & -1\\ 1 &0 \end{pmatrix}.$$
Then $$SA=\begin{pmatrix} 2 & 1\\ 1 &2 \end{pmatrix} \begin{pmatrix} 0 & -1\\ 1 &0 \end{pmatrix}= \begin{pmatrix} 1 & -2\\ 2 &-1 \end{pmatrix}$$
which is symmetric nor anti-symmetric. Similarly,
$$AS= \begin{pmatrix} 0 & -1\\ 1 &0 \end{pmatrix}\begin{pmatrix} 2 & 1\\ 1 &2 \end{pmatrix}= \begin{pmatrix} -1 & -2\\ 2 &1 \end{pmatrix}$$
Again, this is not symmetric nor anti-symmetric.