Assumptions of tensors and symmetries now handled by TensorDimension,
TensorRank, TensorSymmetry directly, instead of scanning the expression
dynamically to make assumptions. 

Thank Jose M. Martin-Garcia for his help on this improvement.