Document overflow and constructor Kontrol gotchas

[palinatolmach]

I'll add more details to this issue.

We should document:

• the fact that Kontrol doesn't run constructor for the test automatically, so some variables might be left uninitialized
• how to identify an integer overflow and what to do about it (wrap it in unchecked)