Agree with the 23/25 hp for your usage. I bought a new JD-770 a few years after I built my house but I have 5 acres and it was brushy. The payment was lower than the rental fees. Made sense to me to buy it. I kinda wanted a larger one but money and eyeballs didn't agree. Yeah I could have used the larger one but I had no time to do anything anyway and I was concerned the larger one would be too big once my projects were done.
Be aware tho, the 1023/25 and BX series tractors are the subcompact ones and have the smaller frames. Shorter and narrower to get through gates and smaller spaces. The other ones have a heavier duty frame and a little bit bigger. My neighbor bought a JD 1023 a half dozen years ago and it's about one size smaller than my 770. When he can borrow it back from his son it works fine for him. He's got 3+ acres and his land is flat so doesn't have the issues I've got. He had it pretty much graded when he built his house. He does have trees around his property so he will use it every so often for thinning and cutting the brush back. You just need to figure out what YOUR needs are. Don't forget about the future down the road, maybe plans to get more property in the near/far future, etc.
I've never taken my loader off as I seem to need it constantly for just misc things. I use it to raise the riding mowers to clean under the deck, scrape the leaves off the driveway in the fall, move my dead pickup into the shop, etc. Once you get used to having it you don't notice it at all.
As far as mid mount mower, ME, I have no use for it, I need the ground clearance my 5' 3 point finish mower gives me. I WILL find a bump/dip, either helping the neighbor or on my own yard and bend the dang thing.
Be aware also that if you use the tractor to mow your finished lawn around your house, it can tear your yard up a bit if you're not careful unless you get turf tires and even then some. I use the riding mower to cut about 1 acre ish of the "good" grass around the house and driveway and use the tractor for around 2 ish acres, and a foray into the trees every so often, farther away from the house.
As far as different tractors, there are at least 8+ brands that have been around for decades. They ALL have had issues with a model or two at one time or another over the years. My 27 year old "American Made" JD has a Japanese Yanmar engine in it. Recently when I bought my new LS it was $8000 cheaper in my area than JD or Kubota and had more features. Just do your homework on what you find, as far as go back and see if that years model was a problem child or not.