Make security theorem statement more precise

[Dionysis Zindros]

The security statement for NIPoPoW is too broad. First, the claim that it has the security property should be made only with overwhelming probability. Second, it should state which predicates it is capable of being secure for.