What a windfall!
You can use the leaves as is if you choose, you can turn them into leaf mold just by piling them up and keeping them moist or you can
compost them.
Using leaves as is only means you need to keep them moist until they matt
enough to not be blown away by the wind. The slight amount of oil won't really be a problem.
If you are worried about the antimicrobial properties of olive oil, then these next two methods would relieve those concerns.
Turning them into leaf mold is pretty fast and easy and they will stay put much better than fresh leaves plus there will be bacteria and fungi growing in the material which will seep to the soil and populate the soil which will make it better and better.
Turning them into compost takes more time and needs additions of other materials but increases the bacteria and fungi to the point that an entire micro biome can be introduced where you use the end product.
All are good choices but are dependent upon what you want the leaves to do for your garden/ orchard spaces.
Redhawk