Validates the action contract used by SemidirectLieGroup's group law and matrix-function kernels.
The class-level assertion below points failures at the declaration rather than at a later Expmap instantiation.