WIP: add assertions to exec_list::push_head