New IDX watch type, using it in Gate+Xor

Much less memory overhead, faster startup (no mem alloc) etc. Much-much
better. Also, no need to turn XOR finding off.
Allow full simplify at startup by config