Implement CSYMPY_ASSERT macro

Use it in Mul::Mul and add Travis tests.