Added tests for k2-treap

Fixed bug in dac_vector: Previously dac_vector only worked if the
bit-width of the maximum in the vector was smaller or equal to the
bit-width of the length of the vector.