- fixed bug in BATpropcheck():   when checking whether the consitency of the hseqbase of a dense   (materialized) OID columns needs to be checked, the condition for   a non-empty BAT was wrong:   "yy > xx" checked whether BUNfirst() is larger than BUNlast();   fixed by changing the condition to   "xx > yy", i.e., BUNlast() > BUNfirst(), or BATcount(b) > 0
- fixed bug in BATpropcheck():
  when checking whether the consitency of the hseqbase of a dense
  (materialized) OID columns needs to be checked, the condition for
  a non-empty BAT was wrong:
  "yy > xx" checked whether BUNfirst() is larger than BUNlast();
  fixed by changing the condition to
  "xx > yy", i.e., BUNlast() > BUNfirst(), or BATcount(b) > 0

- also made the check for trivial cases (BATcount(b) <= 1) more "intuitive":
  "yy + 1 >= xx"  =>  "xx <= yy + 1"

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb