Derive Show instances for QuickCheck
Fix indices in Arbitrary matrices
Add equality and format (broken) tests