Added the initial matrix contracts file with a sample pre- and postcondion

@bsoetaer 
Good point - I had assumed it would just return false.  I believe I checked another similar function, which returned false when the matrix wasn't square, and assumed the behaviour would be consistent.