Add static_assert on ConBitVecAndNot hack so it gets updated on next cond count change.