Do not verify dex files for --compiler-filter=assume-verified.

Reduces the compilation time for the boot image extension
with said filter by over 0.5s (comparing the best observed
timing "before" to the worst observed timing "after").

Test: aosp_taimen-userdebug boots;
  adb root && \
  adb shell stop && \
  adb shell setprop dalvik.vm.boot-image \
    'boot.art:/nonx/boot-framework.art!/system/etc/boot-image.prof' && \
  adb shell 'setprop dalvik.vm.extra-opts \
    "-Ximage-compiler-option --compiler-filter=assume-verified"' && \
  adb shell start  # Starts correctly
  # Check dex2oat timing in logcat
Bug: 119800099

Change-Id: I3fc82c9485385ff5e0ccc5031e1141a685ee6c19
2 files changed