Use bitset_bindex, not int or unsigned int or size_t, to count bits. Use proper printf formats for widths of integer types.
(bitmatrix_print): Move to... * lib/bitsetv-print.h, lib/bitsetv-print.c (bitsetv_matrix_dump): here. * tests/sets.at (Nullable, Broken Closure, Firsts): Adjust.