C2: Clarify and sanity test RegMask/RegMaskIterator

The iteration scheme in RegMaskIterator - which I lifted out of IndexSetIterator and adapted - has raised a few questions. There's also a compelling need to add a sanity unit test for RegMask operations.