Added some invariants.

@isupeene Can't figure out how transitivitiy and symmetry would work as invariants as those qualities apply to operations and not to a matrix itself so I'm not sure what Miller was talking about.
How about `all?{ |x| x.is_a? Number }`?