Clean up BarrierSet

The BarrierSet class has lots of has_* and needs_* methods, none of which is used anywhere, except (some) in asserts (which is bogus too), and in one instance in a stub generator (which will be refactored to use the same paradigm as elsewhere). Those methods clutter the BarrierSet interface and need to be implemented in subclasses for no good reason.