remove unused ASSUMPTION_COUNT

It's actually incorrect that this is unused, but we need to implement a more
nuanced version of this.

Github: related to #141 "segfault with misc/pending-queue-4k.m"