Add missing checkarity calls in MOP code.

In their defense, maybe it didn't exist when they were written...
Fix a flattening thinko, caught by the tests.
We pass 41-flat.t.