Good discussion!
The best reference by far for all of this is Nigel Calder's book. His thesis on batteries, chargers, etc. is the gold standard.
It sounds like some good decisions are being made.
One thing that is often misunderstood is how different batteries recharge - with lithium, you can charge them at VERY high amperage all the way up to about 85%. With Firefly and other AGM, you have to be more careful. This gives lithium one of its biggest advantages compared to AGM. You also should size your charger and wiring from outboard to the battery to allow the maximum amperage charge your battery will allow. This is key when you're cruising and want to stay somewhere for a couple days - you can motor around for an hour and get a LOT of charge if you have a robust charging system and your battery can handle it - otherwise you have to putt around for a few hours to get enough charge or run a generator, which is humbug for our smaller boats. With lithium batteries, I'm not convinced a fancy battery charger like the Sterling Bat-Bat charger is required - look at the charging curve for your lithium battery and you may find you don't need that extra complexity. Also, the Sterling units are NOT explosion-proof so you should NOT install them in the bilge or anywhere else where fuel vapors may collect.
My pot puller and big anchor winch have not been a big issue on house battery because I run the engine while I'm pulling. The one problem with this is that I bought the 30A Sterling Bat to Bat charger, and I wish I had the 60A so I could get full alternator amperage to the winch/puller. That's an oversight I hope you all avoid! Rather than upgrade to the 60A charger, I'm going to investigate lithium batteries. Half the weight and more Amp-hours than my AGM, plus maybe no need for the charger - that's a win!
Solar is super helpful - I have 200 watts of solar feeding my house battery so in the long days of summer that adds up.
Regarding useful range of battery drawdown, few of us are going on year-long cruises where battery life is paramount. How many days will you ACTUALLY use the boat, and how many battery cycles does that really represent? Being realistic about this, I'm happy discharging my Full River AGM battery to 30%, giving me an easy 55% useful range. When I get home I put it on a smart charger and get it to 100% for the next trip. The battery will still last years with my intermittent use.