Minor updates for the bounds checker. It now reports an underflow or an overflow. It also doesn't add in any watchpoint for an allocation of size zero.