All key lengths as constants
Fix race condition at user profile manager:
When verification of put is faster than accessing the synchronized
block, the process is lost waiting. Thus, we have a timeout for each
waiting object
Automate failing use case (still not working)

Improve UP manager slightly + small other bugs