Ok, I know I found some older .8mm packages last year for tests, and I can't find them right now.

I loaded up ST Cube MX, selected 90-178 pin pkg that are 0.8mm BGA and sorted by price. Mouser has STM32H523ZCJ6 (BGA144) for $4.12 @ qty 10 - in stock. 250MHz, 272k RAM.