BLS verification can already be done: BLS Signatures in Solidity
I was more concerned about BLS signatures in wallets, but then again maybe we can add this to the list of reasons for wallets to support BLS 
Even if not done in solidity it would be helpful to see how this would work in any language. Like a minimal viable polynomial commitment scheme.
Yes, absolutely. I may have some time next week to put something together.