LExecutor: Learning-Guided Execution