void push_back(bool x);
Appends x into the bitvector.
Postcondition: If an exception is not thrown, size() is increased by one and back() == x.
If an exception is thrown, there are no effects.