debugging stuff + fix a dangerous List.hd
TODO: find why Simple_Andrex_RPX_auth.txt -> true
  improve performance by avoiding to go trough the whole process when applying internal_communication for config with a focus
+ this seems to capture the missing attack on Andrew RPC: to check
Merge branch 'ref' into compression
Merge branch 'bench' into compression
Merge branch 'bench' into compression
[Fix] when lifting Process.* exceptions to Algorithm.* exceptions, we needed Lazy evaluations
safer handling of exceptions during the labelling process
Merge branch 'compression'