remove slow asserts from MDB. ARM tests pass.
remove slow asserts from MDB. ARM tests pass.

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