Added monoid associativity tests.