Remove an assert for an invariant that doesn’t hold in CHERI-world.