Add runtime assertion to check that values passed to Obj_val()