Bugfix: Back-transformation of expiration times was missing

This makes the multi-key-variant of the algorithm work, it seems. Bugs
are likely still all over it nonetheless.
Optional debug output

+ some cosmetics
Updated test script