add fullrank
add square matrix predicate
Merge pull request #1866 from mrocklin/fullrank

Add fullrank predicate to matrix assumptions