Audit the code

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).