Change magic number generation

[Tharre]

Using rand() for generating the magic numbers is bad because it only guarantees 2^15 different values.

Possible solutions:

• ship our own random number generator (needless complexity, existing implementations?)
• don't use random numbers but just increment by 1 (additional state)