Adding verification for non static inner classes and 32-bit VMs