added an assert to verify that malloc returns a valid address. added a prototype for the function that pushes a cell into the reassembly queue.
added comments about the reassembly state struct