few more changes to the bls proof, intermediate, broken state
Merge branch 'master' of https://github.com/JHUISI/autocrypt