Remove unnecessary `ImpredicativeTypes` pragma
Fix ADDR/GETADDR handling

There errors were related to:
 - Magic bytes needed to be taken into account when
   serializing/deserializing.
 - `concurrently` was blocking waiting for termination.
 - Nodes were announcing the address of the connecting node.
Tweak demo program to make it easier to debug