Sending of a message in down():

• When sending a message in down(), we always grab the NakReceiverWindow for local_addr
• A ref to the window can be cached, so we can eliminate the Map.get(local_addr) altogether