You appear to be confusing Dot (for matrix multiplication and related) with Times, and that latter is commutative (hence can reorder). Also redefining $Assumptions will not be of much use.
Dot
Times
$Assumptions
