incremental_verify_ich

verify extended properties for incr. comp. (default: no): - hashes of green query instances - hash collisions of query keys - hash collisions when creating dep-nodes

This feature has no tracking issue, and is therefore likely internal to the compiler, not being intended for general use.