Improve testing to fully check (most) bijections