The Casio models have a few issues that you likely are unaware of.

First, they never reached their brightness claims, so they are a good deal dimmer than they indicate.

Second, they are pretty low resolution at 1280x800 (WXGA), which is largely viewed as too low to work with these days.

A big issue, that I'm glad you didn't run into, is that they tended to fail. Their compact size led to overheating issues for a lot of owners which is, obviously, catastrophic when you have such a product.

I'm not sure how 'portable' you need your model. The Sanyo is a excellent form factor being similar in size to a laptop computer and very lightweight.

At the end of the day, to really get more light output, you need a larger light source, which then requires more cooling. So, the size is absolutely going to be larger and heavier. It won't be that laptop size that is so awesome. We are seeing a lot more small, lightweight/portable projectors on the market, but they aren't actually brighter. They just have some wonky form factor that travels fairly well, or moves from room to room easily and has a decent (?) speaker in it.

Looking at the "Find a Projector" feature on Projector Central, this is what I would be looking at...
https://www.projectorcentral.com/projectors.cfm?g=2&br=4000-7000&w=6-10&ar=Wide+%2816%3A9-10%29<g=101&dt=1.0.0&oop=3#list

These are only LCD projectors in the widescreen aspect ratio with 4,000-7,000 lumens and a solid state (laser) light source. Weight is limited to under 10 pounds. There is nothing as lightweight as that Casio on this list.

The cheapest model isn't a bad option...
https://www.projectorcentral.com/Epson-Pro_EX11000.htm

I expect you would find it a fairly solid upgrade on the Casio.

If you want a lot more of an upgrade, I might consider a larger projector with a LOT more light output and a higher price point. It won't be 'huge' but it will be a big model like the Panasonic EZ570 or EZ590 projectors on eBay for under $1,000 which are 5,000 lumens.