[Boost-announce] [boost][qvm] Formal review for QVM