Feature/algebra

Okay, main changes:

Tests for CSCMatrix Operators under OptimizationSpace
FrobeniusMatrixNorm is better
Minor refactor to CSCMatrixOps 

I believe I unexpanded them to make OpAdd work on Semirings rather than Rings, as required by OpSub