Test large number of terms contraction

[jturney]

For example,

E = A * B * C * D

[fevangelista]

I added one test. It passes. Perhaps it will be good to have a few more. I also refactored test_operations.cc to avoid having to declare and define each test function.