$(u \times v)·w$ is the negated version of $(u \times w)·v$ and vice versa
$u \times (v + w) = (u \times v) + (u \times w)$
I believe that these both hold true for all vectors, even when I substitute a zero vector into either u, v or w. But I am not 100% confident, could somebody please clarify. Thanks
Yes.
The first can be proven from anticommutativity of the cross product and associativity of the triple product:
$$(u\times v)\cdot w = u\cdot(v\times w) = u\cdot(-w\times v) = -u\cdot(w\times v) = -(u\times w)\cdot v$$
The second is a statement of "linearity", that the cross product distributes over addition.
In both cases, if $u = 0$, then all the products are $0$.