Receiver#receive should exit when enough messages are received