Add a `require` statement in `insertIdentity()` to check that the identity commitment does not equal the NUMS value.