[ bug ] plus was skipping some indices

Whenever the domain of the second matrix was larger than the one
of the first, some elements were not taken into account. I am now
using the well-behaved `merge` function from Batteries rather than
my own thing.
[ tests ] a little bit of machinery for testing

Given the previous bug, it's time to introduce a little bit of
random testing in this project.