I have a CRS317-1G-16S+RM. It's 16 SFP+, do maybe not exactly what you wanted, but I use DAC cables which might work for you if most of your devices are close by. The switch has been great. Only complaint is the intensely bright power leds.

USW-Aggregation

I would rather consider having two separate unit with a 10gbit interlink, than to have a single one. The cheapest Mikrotik only combo with a CRS309-1G-8S+IN and CSS610-8G-2S+IN would cost combined 388 USD new and fanless and around 17W combined idle power draw.

Aruba Instant On 1930 24G 4SFP/SFP+

Honestly for my home lab, I’ve gone down the mikrotik path with a CRS309-1G-8S+IN as my core, CRS326-24G-2S+RM for my edge and a couple of unmanaged 2.5gb switches with 10gb uplinks. I would warn against mikrotik if you are looking at layer 3 routing on switch though.

The reason I say this is because of experience. They don’t have enough compute power for the layer3 to really work well at high data rates. Fine for hosting external web services etc but if you’re looking for layer3 with performance in mind they aren’t a good option.

Map out what your plan is from a network architecture perspective and understand if you want onswitch layer3 routing to occur or if you want to offload this to your firewall.

After I realised the layer3 performance was a bit lousy, I re-designed my network with a virtual sophos firewall that has 10g down and uplinks plus a couple 1gb links and threw a lot of resources at that the vm for it to perform my layer3 routing duties throughout my home lab.

It’s also a better design(having your firewall do your routing) from a control and inspection perspective due to the firewall being inexpensive and giving quite a lot of flexibility with regard to traffic overview.