Can you say more (or give a link) about JVM 7 enforced class
> 2) The most important JVM 7 feature for Jython would be to make use of the
> new invokedynamic opcode. I've spent a lot of effort trying to do this for
> Clojure, and I can tell you that it's far from trivial. We would need to
> upgrade to ASM 4, and do some painful work in adjusting to JVM 7's enforced
> class verifiability.
verifiability - quick googling didn't turn anything up for me.