[boost] QVM formal review update