Having difficulty understanding what happens when reversing order of quaternion multiplication.

So we start with the "definition" of multiplication: $$ q_1q_2 = V_1 \times V_2 + s_1V_2+s_2V_1+s_1s_2-V_1 \cdot V_2 $$ and then ask ourselves, what would be $q_2 q_1$, instead? Well, we simply need to swap the indices:

$$\ \begin{split} q_2q_1 &= V_2 \times V_1 + s_2V_1+s_1V_2+s_2s_1-V_2 \cdot V_1\\ &= V_2 \times V_1 + s_2V_1+s_1V_2+s_1s_2-V_1 \cdot V_2\\ \end{split} $$ The last two terms were switched because both scalar multiplication and dot product are commutative. Now you can easily subtract $q_2q_1 - q_1q_2$ to get the result $$ \begin{split} q_2 q_1 - q_1 q_2 &= V_2 \times V_1 - V_1 \times V_2\\ &= -V_1 \times V_2 - V_1 \times V_2\\ &= -2V_1 \times V_2\\ \end{split} $$


In $q_1q_2 = V_1 \times V_2 + s_1V_2+s_2V_1+s_1s_2-V_1 \cdot V_2$ the $s_1V_2+s_2V_1+s_1s_2-V_1 \cdot V_2$ part is symmetrical in $1,2$. Hence won't change when you permute the $q_1q_2$ product.

The only part that changes is $V_1 \times V_2$ which is anticommutative, i.e. $V_2 \times V_1 = -V_1 \times V_2$.

This explains the result $q_2q_1=q_1q_2-2(V_1 \times V_2)$.