Signature verification, fix keypair constructor, cleanup.

Why is m[0] part of the condition? Wouldn't
```
for (int testNr = 0; testNr < 5; ++testNr)
{
  m[0] = testNr + 1;
```
be better?