DirectBitSet API clarification; ATSDirectBitSet bug fixes and cleanup