New null check assertions are generated a bit more efficiently, with a call to `checkNotNull` instead of IFNONNULL+jump.