Open
Description
Currently, BucketListIsConsistentWithDatabase checks the SQL offer table against the BucketList for consistency after every call to assumeState. This is too aggressive, as this check is expensive. We should instead only call this invariant after actually updating the offers table after BucketApply, not on every assumeState call.