Merge changes Ib29b3920,Ice5efad9 into oc-dev

* changes:
  ART: Move trampoline logging to -verbose:dex
  ART: Add -verbose:dex