Fixed wrong assertion in mdb range query algorithm.
Fixed wrong assertion in mdb range query algorithm.

modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish