Initial implementation of the sparse matrix.

@bsoetaer 
Tests pass when the contracts are disabled.
Obviously I set the condition to true before testing, and put a print statement at the start of the begin block, and another at the start of the ensure block.  The final output from the begin block did not have a matching output from the ensure block.