VM's output -> AM
That AM -> plugin
verification via indistinguishability obfuscator or simpler method if we can find one
I don't think you read all of that article James:
However, the new obfuscation scheme is far from ready for commercial applications. The technique turns short, simple programs into giant, unwieldy albatrosses. And the schemes security rests on a new mathematical approach that has not yet been thoroughly vetted by the cryptography community.
As I said before *unless you are designing something for years down the track* then please forget about that - it is not practical nor is it even vetted.