We should add an invariant that periodically scans the entire BucketList and in-memory soroban cache, ensuring the two are consistent. This would be expensive, so it probably requires something like #5002