Test monad laws for the vector monad