Multi-core support for verification

[tomato42]

Verification of multiple primality certificates is embarrassingly parallel, it would be nice to be able to use multiple cores to do that.