Add monoid laws tests