[llvm] Collect used methods only in AOT mode.
[llvm] Disable the LLVM verifier, it does module wide checks leading to quadratic behavior.