Audit the code

[perturbing]

We need to get the auditor on board when we can show them something.

We need this probably only for the key generation, but a more general audit on all BLS things may be advisable (historically this has been a recurring point).