Fix the 8-bit unsigned vs. unsigned library and improve the associated test bench