Add assertions to {push,pop}_ctxt because we are oopsing on dev in obdfilter

in pop_ctxt(), maybe becase saved->pwd is NULL.