5.2 bytecode verifier library

["Stuart P. Bentley" <stuart@...>]

Has anybody started a project dedicated to bytecode analysis for 5.2 yet?  
It could include:

* A Lua-side table of opcode characters by name (eg "vm.bytes.start='\23'")

Other than that, I don't really know much about the VM other than what  
I've seen described, so I don't know what functions one would write, but  
the described table would assist hard functionality prohibition in Lua  
(eg. a script that wants to disallow external code with loops could do  
string.find calls for the loop opcodes).