Fix: never add 0-size entries to a DSE store (can happen due to e.g. 0-length memset)
Adapt -omit-checks mode to function in the presence of invoke instructions. Caught exceptions immediately trap in this mode.