Changed matrix_tests_5 so it converts everything to dense arrays for verification; graph product with transposes passes tests