Added checks on output vector in mxv#401

GiovaGa wants to merge 6 commits intodevelopAlgebraic-Programming/ALP:developfrom

400-dense_output_vector_not_checked_mxvAlgebraic-Programming/ALP:400-dense_output_vector_not_checked_mxvCopy head branch name to clipboard