That would seem to me to be a "Depends" type
answer. If you do cut it then the spring will bring new growth with no tall stalks to overcome to get sunlight. If you don't cut it there will still be new spring growth but it will have to reach for the sun through the winter knocked down, long blades.
There is a third thing in this case and that is that there will be more above ground level rhizomes if it isn't cut before winter. I think either way works, just depends on if you want more grass nodes in the soil for next year (thicker growth).
Bermuda is a funny grass plant, if you let it grow with no cutting it will spread by seed heads, but if you cut it rather short it will multiply like wildfire and become a thick mat of grass plants.