verify-message off to a good start

Verifying compressed messages seems to work
PGP no long abstract
Made packet types clearer in commandline arguments
A few Packets were updated/fixed