Removed PwsConstraint::Common::pending_buffers.

pending_buffers does not catch any constraints that last_write_sets don't.
Made PwsConstraint::entailment_compare compare buffers before channels for a
small reachability analysis speed increase.