Added even more debug output.

Properly initialized the random bit generators in UserModel.