More efficient receipt cleaning

[d4hines]

When a validator applies a block, he needs to remove the applied operations from his mempool. Currently the mempool is a standard OCaml map, so removing the applied operations is O(n*log m) where n is the operations in a block and m is the size of the mempool.

We should switch to a more efficient data structure.