[lworld] Withfield and field resolution update

With the L/Q model, the verifier cannot verify anymore that putfield and withfield are applied to, respectively, identity objects and primitive objects (see JDK-8269274). Those checks must now be performed during field resolution. The JVM must also performs null-checks on the receiver of a withfield bytecode.