matrix_test_strategy now checks matrix-vector multiplication, which works