add carry-roll-over-vector-mul-with-add (!) unit test