Yep - this is why I suggested run-length encoding and having two roots. One for the stateful bitfields and the other for stateless. Assuming most receipts are claimed within a day, we can keep the statefulness to under 100kb (the rest just operate with witnesses as considered before).
Interested to read this.