Add official tests of TP4: bitboard