Concerning #807: Exposing non-allocating multiplication to the user
Concerning #807: Adding assertions for new mul
Concerning #807: Further work on mul_no_alloc
Concerning #807: More mul tests in ad.py
Concerning #807: enabling another test in linearsolver