Change to implementing the BitvSet API rather than the Bitv API