Create MatrixCheckers.pl

Macros for checking for a basis, etc.