Remove dependency on bitvector library