you will just have to see and then potentially add some nitrogen source in the spring to speed things up i would think. It also Depends on the amount you added... if they were chopped or whole... and your zone. Once it warms up a bit the worms will quickly start going to town on the leaves too.

I have seen people very successfully plant things like hosta in piles of chopped leaves. You will be fine. It's impossible to add too many leaves or too much organic stuff to a vegetable bed. If there is a fair amount of organic stuff from the year before you won't even need any extra nitrogen. The decomposing bodies of the "beasties" that break down the leaves from last year will provide enough nitrogen to break down what you add.

We have flower gardens, and I never chopped up the leaves and have added all of the leave I could find to the gardens. After 9 years, what was once hard clay has become decent garden soil. When my brush pile get to large it gets chipped up and the wood chips spread on the flower beds. I don't have a lot of wood chips, about 5 bushels per year on my 3/4 acre lot.

In parts of my lot there is the original woods soil and environment, After many decades of being wooded, the soil has become nearly peat.

I laugh at my neighbor who rake all of the leaves from their yards, burn or pay to have them carried off, and then turn around and spread expensive fertilizers on their yards

The only issue with incorporating leaves or similarly wood chips into the soil (not top dressing as mulch) is that the microbes that break that material down require nitrogen to do so. So the nitrogen can get bound up in the decomposition process and not be available to your plants.

So you can either give it time .... since once the material is broken down, that nitrogen will be released back to the soil and be available .... or you can provide supplemental nitrogen so there is enough for the decomposition and your plants.

If the leaves were chopped/shredded/mowed over.... they will just decompose faster then if whole.

And for you last question... I have never used a bed shaper... but have seen one being used a long while back. I would just think that again depending on the quantity of incorporated into the soil, if they they were chopped/shredded, and you zone (ie: you will get better decomposition if you aren't in a deep winter location)..... the shaper will do okay or the edges will be loose.

Personal opinion only, would wait and see in spring. Too many variables (how many leaves, what leaves, what condition soil was in before, climate, etc).

My guess would be that since these are active beds there's decent soil life and there are microbes and worms in there already, and you likely won't have to add much. Even unshredded, the tilling likely did some shredding and physical breakdown already, there'll be plenty of air in there, and whatever worms microbes in there will go to town and break it down pretty well. Wouldn't try to add nitrogen before spring anyway.

Haven't used a bed shaper, likely the worst case will be a bit looser than you're used to.

By spring the leaves will be gone. So would kitchen scraps, oak leaves.